fix for searchbar z-index and dynamic scrollMarginTop

Author: kamilszewczyk0

scaladoc/resources/dotty_res/scripts/ux.js

@@ -514,3 +514,13 @@ members.forEach((member) => {
     member.style.scrollMarginTop = `${navbarHeight + filtersHeight}px`;
   });
 });
+
+members.forEach((member) => {
+  window.addEventListener("DOMContentLoaded", () => {
+    const navbarHeight = document.querySelector("#header").clientHeight;
+    const filtersHeight = document.querySelector(
+      ".documentableFilter",
+    ).clientHeight;
+    member.style.scrollMarginTop = `${navbarHeight + filtersHeight}px`;
+  });
+});

scaladoc/resources/dotty_res/styles/theme/layout/searchBar.css

@@ -10,7 +10,7 @@
 }
 
 #scaladoc-searchbar {
-  z-index: 5;
+  z-index: 104;
   width: calc(125 * var(--base-spacing));
   position: relative;
   top: calc(3 * var(--base-spacing));