From 638067e5b1b2e5366cf1570fc2f26f1847b327b0 Mon Sep 17 00:00:00 2001
From: Tim Hoffmann <2836374+timhoffm@users.noreply.github.com>
Date: Sat, 16 Jun 2018 21:45:24 +0200
Subject: [PATCH] Slightly improve doc sidebar layout

---
 doc/_static/mpl.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/_static/mpl.css b/doc/_static/mpl.css
index f05e13a1174c..dd6dfcd0d4d5 100644
--- a/doc/_static/mpl.css
+++ b/doc/_static/mpl.css
@@ -245,7 +245,8 @@ 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%;
@@ -253,7 +254,9 @@ div.sphinxsidebar ul {
 
 div.sphinxsidebar ul ul {
     list-style: square;
-    margin-left: 20px;
+    margin-top: 6px;
+    margin-bottom: 6px;
+    margin-left: 16px;
 }
 
 div.sphinxsidebar #searchbox input {