css: Reduce margin above source code pages

Julow · Dec 18, 2024 · a9e7112 · a9e7112
1 parent be8f1aa
commit a9e7112
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -1372,6 +1372,7 @@ body.odoc:has( .odoc-search) .odoc-toc {
 .source_container {
   display: flex;
   grid-area: content;
+  margin-top: 0;
 }
 
 .source_line_column {