From 9f8d3c80e515bb274eaeb3829bdd06fd058b6332 Mon Sep 17 00:00:00 2001
From: silverwind <me@silverwind.io>
Date: Thu, 6 Apr 2023 22:55:04 +0200
Subject: [PATCH] Adjust sticky pr header to cover background

---
 web_src/css/repository.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/web_src/css/repository.css b/web_src/css/repository.css
index a802222394786..9bae9efe0cf6e 100644
--- a/web_src/css/repository.css
+++ b/web_src/css/repository.css
@@ -1636,10 +1636,10 @@
   top: 0;
   z-index: 8;
   border-bottom: none;
-  padding-left: 2px;
-  padding-right: 2px;
-  margin-left: -1px;
-  margin-right: -1px;
+  padding-left: 5px;
+  padding-right: 5px;
+  margin-left: -4px;
+  margin-right: -4px;
 }
 
 .repository .diff-detail-box > div::after {