MediaWiki:Common.js: Difference between revisions

MediaWiki:Common.js (view source)

2 bytes added , 27 October 2022

Fix setStickyHeaderTop

12,867

edits

@@ Line 525: / Line 525: @@
    const headStyles = getComputedStyle(document.getElementById('mw-header-container'));
    var headHeight = document.getElementById('mw-header-container').offsetHeight;
-   if (headStyles !== undefined && headStyles.display !== 'fixed') {
+   if (headStyles !== undefined && headStyles.position === 'static') {
      headHeight = 0;
    }