diff options
| -rw-r--r-- | ext/mixed/js/display.js | 5 |
1 files changed, 5 insertions, 0 deletions
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) { |