docs: remove a little more top margin wastage

pull/564/head
David Wilson 5 years ago
parent 7b3ed52fd8
commit 2d536b49eb

@ -3,6 +3,10 @@ body {
font-size: 100%; font-size: 100%;
} }
.sphinxsidebarwrapper {
padding-top: 0 !important;
}
.sphinxsidebar { .sphinxsidebar {
font-size: 80% !important; font-size: 80% !important;
} }

Loading…
Cancel
Save