From ba6adbf2f64df6dc2802c8134cd7a599586da7f4 Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Mon, 7 May 2018 20:46:26 -0500
Subject: [PATCH] Diff: Move sticky file header up one pixel. See #612

---
 github-dark.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/github-dark.css b/github-dark.css
index 376b8a47e..95ea62da9 100644
--- a/github-dark.css
+++ b/github-dark.css
@@ -1171,7 +1171,7 @@
   .pull-request-tab-content .diff-view .file-header {
     position: sticky !important;
     position: -webkit-sticky !important;
-    top: 40px !important;
+    top: 39px !important;
     z-index: 6 !important;
   }
   /* User time line firsts */