From d4296a34cca1f4eeb84fec53608a7e5c6b9b9fb1 Mon Sep 17 00:00:00 2001
From: toasted-nutbread <toasted-nutbread@users.noreply.github.com>
Date: Sat, 28 Dec 2019 23:03:18 -0500
Subject: [PATCH] Fix scroll position when header is visible

---
 ext/mixed/js/display.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js
index 75b43aa0..50e099f6 100644
--- a/ext/mixed/js/display.js
+++ b/ext/mixed/js/display.js
@@ -552,6 +552,11 @@ class Display {
             target = scroll;
         } else {
             target = this.index === 0 || entry === null ? 0 : Display.getElementTop(entry);
+
+            const header = document.querySelector('#navigation-header');
+            if (header !== null) {
+                target -= header.getBoundingClientRect().height;
+            }
         }
 
         if (smooth) {