From faee44315b20830a18f963731481a243d025106c Mon Sep 17 00:00:00 2001
From: Inaki Fernandez <inafev@gmail.com>
Date: Wed, 3 Jun 2020 19:37:44 +0200
Subject: [PATCH] test with margins in css

---
 docs/static/extra.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/static/extra.css b/docs/static/extra.css
index 6e7e7f06..5f2140a8 100644
--- a/docs/static/extra.css
+++ b/docs/static/extra.css
@@ -2,7 +2,7 @@
 selectors). */
 
 body {
-  margin: 0px 0px 0px 0px;
+  margin: 0px;
   background-color:rgb(240,240,240);
   font-family: arial, sans-serif;
   font-size: 14px;
@@ -12,7 +12,7 @@ body {
 h1 {
   font-size: 35px;
   font-weight: normal;
-  margin-top: 0;
+  margin-top: 0px;
 }
 
 /* Applies to all elements with <... class="someclass"> specified. */