diff --git a/docs/static/extra.css b/docs/static/extra.css
index ca38d5f2..ce65d1d5 100644
--- a/docs/static/extra.css
+++ b/docs/static/extra.css
@@ -2,7 +2,7 @@
 selectors). */
 
 body {
-  margin: 25px auto;
+  margin: 5px;
   background-color:rgb(240,240,240);
   font-family: arial, sans-serif;
   font-size: 16px;