Slightly improve doc sidebar layout

timhoffm · timhoffm · commit 638067e5b1b2 · 2018-06-16T21:45:24.000+02:00
diff --git a/doc/_static/mpl.css b/doc/_static/mpl.css
@@ -245,15 +245,18 @@ div.sphinxsidebar h3 a {
 
 div.sphinxsidebar ul {
     padding-left: 1.5em;
-    margin-top: 7px;
+    margin-top: 10px;
+    margin-bottom: 10px;
     list-style: none;
     padding: 0;
     line-height: 130%;
 }
 
 div.sphinxsidebar ul ul {
     list-style: square;
-    margin-left: 20px;
+    margin-top: 6px;
+    margin-bottom: 6px;
+    margin-left: 16px;
 }
 
 div.sphinxsidebar #searchbox input {
