diff --git a/docs/static/extra.css b/docs/static/extra.css
index 5a053c4a..28595936 100644
--- a/docs/static/extra.css
+++ b/docs/static/extra.css
@@ -2,7 +2,7 @@
 selectors). */
 
 body {
-  margin: 25px;
+  margin: 5px;
   background-color:rgb(240,240,240);
   font-family: arial, sans-serif;
   font-size: 14px;
@@ -20,7 +20,3 @@ h1 {
 
 /* Applies to the element with <... id="someid"> specified. */
 #someid { color: green; }
-
-.rst-versions {
-  border-top:solid 10px #222c32;
-}
\ No newline at end of file