Fix right-margin in sphinx doc CSS (thanks bruno)

2026-06-08 14:31:45 +00:00 · 2018-07-11 11:57:39 +02:00
parent c59af86910
commit eb3b13016f
1 changed files with 2 additions and 0 deletions
@@ -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;