Fix sticky doc header

gaurav-arya · gaurav-arya · commit 964e55953c46 · 2023-03-05T14:31:20.000-05:00
diff --git a/assets/default/multidoc.css b/assets/default/multidoc.css
@@ -248,4 +248,9 @@ html {
     #documenter .docs-main header.docs-navbar.headroom--unpinned.headroom--not-top.headroom--not-bottom {
         top: -100vh;
     }
-}
+    
+    #documenter .docs-main header.docs-navbar {
+        top: var(--navbar-height);
+    }
+}
+
