docsite: Fix anchor margin on page reload

Fix anchor margin on page reload where in Chrome the heading had no padding towards the top.
evylang · May 20, 2024 · 950f4c8 · 950f4c8
1 parent 56a3c85
commit 950f4c8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/frontend/docs/css/index.css b/frontend/docs/css/index.css
@@ -54,7 +54,8 @@ li::marker {
   padding-bottom: 40px;
 }
 
-:target {
+:target,
+.anchor {
   scroll-margin-top: 20px;
 }
 /* --- Elements -------------------------------------------------------- */