From 2efb4c75ba49db1f45cd91fba361fc28c712a012 Mon Sep 17 00:00:00 2001
From: Inaki Fernandez <inafev@gmail.com>
Date: Fri, 29 May 2020 21:57:24 +0200
Subject: [PATCH] body margin changed

---
 docs/static/extra.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;