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">
This commit is contained in:
silverwind 2023-04-08 14:43:15 +02:00 committed by GitHub
parent 1ee45305e0
commit cf5a281fdc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1622,10 +1622,10 @@
top: 0; top: 0;
z-index: 8; z-index: 8;
border-bottom: none; border-bottom: none;
padding-left: 2px; padding-left: 5px;
padding-right: 2px; padding-right: 5px;
margin-left: -1px; margin-left: -4px;
margin-right: -1px; margin-right: -4px;
} }
.repository .diff-detail-box > div::after { .repository .diff-detail-box > div::after {