fixes anchor appearing bellow search bar

EmileTrotignon · panglesd · commit ae9815b43ae9 · 2023-12-07T12:02:20.000+01:00
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -95,7 +95,10 @@
 
 :root,
 .light:root {
-   --main-background: #FFFFFF;
+
+  scroll-padding-top: 100px;
+
+  --main-background: #FFFFFF;
 
   --color: #333333;
   --link-color: #2C94BD;
