dynamic scroll-margin-top

Author: kamilszewczyk0

scaladoc/resources/dotty_res/scripts/ux.js

@@ -500,3 +500,17 @@ function zoomOut() {
   var svg = d3.select("#graph");
   svg.transition().duration(2000).call(zoom.transform, transform);
 }
+
+
+const members = [...document.querySelectorAll("[id]")];
+members.forEach((member) => {
+  window.addEventListener("resize", () => {
+    const navbarHeight = document.querySelector("#header").clientHeight;
+    const filtersHeight = document.querySelector(
+      ".documentableFilter",
+    ).clientHeight;
+    member.style.scrollMarginTop = `${navbarHeight + filtersHeight}px`;
+    console.log(member.style.scrollMarginTop);
+  });
+  console.log(member.style.scrollMarginTop);
+});