diff options
Diffstat (limited to 'ext/js')
| -rw-r--r-- | ext/js/display/display.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ext/js/display/display.js b/ext/js/display/display.js index ebd11e0a..b5dd4ba6 100644 --- a/ext/js/display/display.js +++ b/ext/js/display/display.js @@ -97,7 +97,7 @@ export class Display extends EventDispatcher { /** @type {boolean} */ this._historyHasChanged = false; /** @type {?Element} */ - this._navigationHeader = document.querySelector('#navigation-header'); + this._aboveStickyHeader = document.querySelector('#above-sticky-header'); /** @type {import('display').PageType} */ this._contentType = 'clear'; /** @type {string} */ @@ -1516,8 +1516,8 @@ export class Display extends EventDispatcher { } let target = (index === 0 && definitionIndex <= 0) || node === null ? 0 : this._getElementTop(node); - if (this._navigationHeader !== null) { - target -= this._navigationHeader.getBoundingClientRect().height; + if (this._aboveStickyHeader !== null && target !== 0) { + target += this._aboveStickyHeader.getBoundingClientRect().height; } this._windowScroll.stop(); |