Use less.js pageLoadFinished event for bodyWrapperMarginTop

atas · Oct 12, 2023 · 5d1b5e1 · 5d1b5e1
1 parent a0eaeeb
commit 5d1b5e1
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/assets/site.js b/assets/site.js
@@ -104,3 +104,13 @@ window.addEventListener('DOMContentLoaded', function() {
         });
     });
 });
+
+// When less.js finishes loading, call setBodyWrapperMarginTop() to get a correct margin.
+// In production this has no effect as less.js is only used in development.
+if (typeof less !== 'undefined' && less.pageLoadFinished) {
+    less.pageLoadFinished.then(
+        function() {
+            setBodyWrapperMarginTop();
+        }
+    );
+}