From eb3b13016f8bda095da0daca01e920fb67a05a94 Mon Sep 17 00:00:00 2001
From: hakril <project@hakril.net>
Date: Wed, 11 Jul 2018 11:57:39 +0200
Subject: [PATCH] Fix right-margin in sphinx doc CSS (thanks bruno)

---
 docs/source/_static/css/mbasic.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/source/_static/css/mbasic.css b/docs/source/_static/css/mbasic.css
index 1440e00..940b19b 100644
--- a/docs/source/_static/css/mbasic.css
+++ b/docs/source/_static/css/mbasic.css
@@ -16,6 +16,8 @@ div.body {
     max-width: none;
 }
 
+div.bodywrapper { margin-right: 20px; }
+
 div.admonition-todo {
     border-top: 2px solid red;
     border-bottom: 2px solid red;