From e40fa3f95dd10d8ce30d136ea9fb683e4d53a995 Mon Sep 17 00:00:00 2001
From: Inaki Fernandez <inafev@gmail.com>
Date: Fri, 29 May 2020 02:47:04 +0200
Subject: [PATCH] cleanup

---
 docs/static/extra.css | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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