From 94f6d3afdf52d49415476db1b592fdf1bede6215 Mon Sep 17 00:00:00 2001
From: Inaki Fernandez <inafev@gmail.com>
Date: Fri, 29 May 2020 03:13:32 +0200
Subject: [PATCH] test

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

diff --git a/docs/static/extra.css b/docs/static/extra.css
index 3da89801..9c24a7d7 100644
--- a/docs/static/extra.css
+++ b/docs/static/extra.css
@@ -2,10 +2,12 @@
 selectors). */
 
 body {
-  margin: 25px;
+  margin: 25px auto;
   background-color:rgb(240,240,240);
   font-family: arial, sans-serif;
   font-size: 18px;
+  padding: 0 20px 20px 20px;
+  border: 5px solid black;
 }
 
 /* Applies to all <h1>...</h1> elements. */