From cf5a281fdc23543584a3a06fcfcf796b08425a79 Mon Sep 17 00:00:00 2001
From: silverwind <me@silverwind.io>
Date: Sat, 8 Apr 2023 14:43:15 +0200
Subject: [PATCH] Adjust sticky pr header to cover background (#23956)
Very minor CSS tweak: Adjust sticky PR header to cover the box-shadow of
selected files.
Before:
<img width="1250" alt="Screenshot 2023-04-06 at 22 54 59"
src="https://user-images.githubusercontent.com/115237/230492218-4d71da48-a362-4c52-a7f7-01daf4ffa458.png">
After:
<img width="1255" alt="Screenshot 2023-04-06 at 22 54 46"
src="https://user-images.githubusercontent.com/115237/230492227-c7142210-e535-4da8-b610-37d33dcbb549.png">
---
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 08524feadb..5c90385628 100644
--- a/web_src/css/repository.css
+++ b/web_src/css/repository.css
@@ -1622,10 +1622,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 {