Merge pull request #96 from mattam82/fix-88

Fix anchor targets being hidden by the top-bar

Author: mattam82

src/rocqproverorg_frontend/css/styles.css

@@ -166,7 +166,7 @@ body.dark {
 }
 
 .prose [id] {
-  scroll-margin-top: 2rem;
+  scroll-margin-top: 90px;
 }
 
 .prose :is(h1, h2, h3, h4, h5, h6) {