From 2d536b49eb99901311bf1aa13ed12a488d4bab61 Mon Sep 17 00:00:00 2001 From: David Wilson Date: Wed, 13 Feb 2019 16:02:31 +0000 Subject: [PATCH] docs: remove a little more top margin wastage --- docs/_static/style.css | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/_static/style.css b/docs/_static/style.css index 98dd4bac..456473a9 100644 --- a/docs/_static/style.css +++ b/docs/_static/style.css @@ -3,6 +3,10 @@ body { font-size: 100%; } +.sphinxsidebarwrapper { + padding-top: 0 !important; +} + .sphinxsidebar { font-size: 80% !important; }