From 9449f2aebe11a01e25f45d1b0004365015a190f6 Mon Sep 17 00:00:00 2001 From: Tal Date: Thu, 18 Jul 2024 11:05:43 +0300 Subject: [PATCH] Update docs/docs/css/custom.css Co-authored-by: codiumai-pr-agent-pro[bot] <151058649+codiumai-pr-agent-pro[bot]@users.noreply.github.com> --- docs/docs/css/custom.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/css/custom.css b/docs/docs/css/custom.css index d20f86c41..356283186 100644 --- a/docs/docs/css/custom.css +++ b/docs/docs/css/custom.css @@ -19,7 +19,7 @@ content: ""; position: absolute; top: 0; - right: 10px; /* Move the border 5 pixels to the left */ + right: 10px; /* Move the border 10 pixels to the right */ width: 2px; height: 100%; background-color: #f5f5f5; /* Match the border color */