diff --git a/src/html_support_files/odoc.css b/src/html_support_files/odoc.css
index a3317f33b0..0355236894 100644
--- 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 {