issues: sticky hdr covers selected line fixes #598

StylishThemes · Jul 19, 2018 · 9b5fa7e · 9b5fa7e
1 parent b6381a3
commit 9b5fa7e
Showing 1 changed file with 15 additions and 6 deletions.
diff --git a/github-dark.css b/github-dark.css
@@ -1295,12 +1295,21 @@
     position: -webkit-sticky !important;
     top: 8px !important;
   }
-  /* copied from Refined GitHub extension */
-  .pull-request-tab-content .diff-view .file-header {
-    position: sticky !important;
-    position: -webkit-sticky !important;
-    top: 39px !important;
-    z-index: 6 !important;
+  @supports (position: sticky) or (position: -webkit-sticky) {
+    .pull-request-tab-content .diff-view .file-header {
+      position: sticky !important;
+      position: -webkit-sticky !important;
+      top: 40px !important;
+      z-index: 6 !important;
+    }
+    .pull-request-tab-content .file-header {
+      height: 32px !important;
+      padding: 1px 10px !important;
+    }
+    .pull-request-tab-content .diff-view .file-actions,
+    .pull-request-tab-content .diff-view .file-info {
+      margin-top: -1px !important;
+    }
   }
   /* User time line firsts */
   img[src$="profile-joined-github.png"] {