Remove vertical margin when screen is half width

This margin might have been useful to accomodate the side bar but is now unecessary.
Julow · Sep 20, 2023 · c73e071 · c73e071
1 parent 54b200c
commit c73e071
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
@@ -246,10 +246,9 @@ body {
 }
 
 body {
-  margin-left: calc(10vw + 20ex);
-  margin-right: 4ex;
-  margin-top: 20px;
-  margin-bottom: 50px;
+  margin-left: auto;
+  margin-right: auto;
+  padding: 0 4ex;
 }
 
 body.odoc {