From 646f86603cf0037b04d572720c610f7a659c4555 Mon Sep 17 00:00:00 2001 From: silverwind Date: Thu, 19 Oct 2023 21:02:41 +0200 Subject: [PATCH] Fix sticky diff header background --- web_src/css/repo.css | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/web_src/css/repo.css b/web_src/css/repo.css index 2ef35ecfdcdef..ae7f6bb379489 100644 --- a/web_src/css/repo.css +++ b/web_src/css/repo.css @@ -1497,7 +1497,8 @@ position: sticky; top: 0; z-index: 8; - padding: 7px 0; + padding: 7px 5px; + margin: 0 -5px; /* negative margin so it covers active file shadow */ height: 44px; /* this height should match sticky-2nd-row */ background: var(--color-body); }