From 331b3dfb9a9ed991743b16479804ff2c16d930a4 Mon Sep 17 00:00:00 2001
From: the-j0k3r <31389848+the-j0k3r@users.noreply.github.com>
Date: Sun, 15 Jul 2018 07:16:45 +0100
Subject: [PATCH 1/3] issues: sticky hdr covers selected line fixes #598

---
 github-dark.css | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/github-dark.css b/github-dark.css
index 4d0fca41c..e1b8be54c 100644
--- a/github-dark.css
+++ b/github-dark.css
@@ -1295,12 +1295,20 @@
     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: 39px !important;
+      z-index: 6 !important;
+    }
+    .pull-request-tab-content .file-header {
+      height: 39px !important;
+    }
+    .pull-request-tab-content .diff-view .file-actions,
+    .pull-request-tab-content .diff-view .file-info {
+      margin-top: -2px !important;
+    }
   }
   /* User time line firsts */
   img[src$="profile-joined-github.png"] {

From c4135ef2e62d90f7a45f6055e787bd702e231642 Mon Sep 17 00:00:00 2001
From: the-j0k3r <31389848+the-j0k3r@users.noreply.github.com>
Date: Thu, 19 Jul 2018 20:20:51 +0100
Subject: [PATCH 2/3] issues: adjust for visibility fixes #598

---
 github-dark.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/github-dark.css b/github-dark.css
index e1b8be54c..10b51b90b 100644
--- a/github-dark.css
+++ b/github-dark.css
@@ -1299,7 +1299,7 @@
     .pull-request-tab-content .diff-view .file-header {
       position: sticky !important;
       position: -webkit-sticky !important;
-      top: 39px !important;
+      top: 35px !important;
       z-index: 6 !important;
     }
     .pull-request-tab-content .file-header {
@@ -1307,7 +1307,7 @@
     }
     .pull-request-tab-content .diff-view .file-actions,
     .pull-request-tab-content .diff-view .file-info {
-      margin-top: -2px !important;
+      margin-top: -1px !important;
     }
   }
   /* User time line firsts */

From 764a7032d88055d8a18f0f93d402ded47971f825 Mon Sep 17 00:00:00 2001
From: the-j0k3r <31389848+the-j0k3r@users.noreply.github.com>
Date: Thu, 19 Jul 2018 20:46:12 +0100
Subject: [PATCH 3/3] issues: + silverwind tweaks

---
 github-dark.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/github-dark.css b/github-dark.css
index 10b51b90b..15fd64a6b 100644
--- a/github-dark.css
+++ b/github-dark.css
@@ -1299,11 +1299,12 @@
     .pull-request-tab-content .diff-view .file-header {
       position: sticky !important;
       position: -webkit-sticky !important;
-      top: 35px !important;
+      top: 40px !important;
       z-index: 6 !important;
     }
     .pull-request-tab-content .file-header {
-      height: 39px !important;
+      height: 32px !important;
+      padding: 1px 10px !important;
     }
     .pull-request-tab-content .diff-view .file-actions,
     .pull-request-tab-content .diff-view .file-info {