Changed scroll margin a tiny bit to highlight correct menu item on la…

…rge screens. Fixes #88
fdnd · Jun 12, 2024 · 833be2d · 833be2d
1 parent 6a74914
commit 833be2d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/assets/style/web.css b/docs/assets/style/web.css
@@ -543,7 +543,7 @@ section {
   & h5,
   & h6 {
     text-wrap: balance;
-    scroll-margin-top: calc(var(--gap) * 4.5);
+    scroll-margin-top: calc(var(--gap) * 4);
 
     & a:first-of-type {
       text-decoration: none;