Style: docblocks

ocsigen · Mar 27, 2024 · e984cf7 · e984cf7
1 parent 91a4832
commit e984cf7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/css/style.css b/css/style.css
@@ -953,7 +953,7 @@ section.docblock {
 }
 section.docblock > header {
   position: sticky;
-  top: 90px;
+  top: 70px;
   background-color: white;
   padding-top: 50px;
   border: 2px solid white;