diff --git a/web_src/css/repo.css b/web_src/css/repo.css index 2ef35ecfd..ae7f6bb37 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); }