[doc] add global TOC to sidebar

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
This commit is contained in:
Markus Heiser 2021-12-23 19:39:29 +01:00
parent 69747d5cb3
commit 188efe53e8
2 changed files with 11 additions and 1 deletions

View file

@ -20,6 +20,10 @@ div.sidebar {
border-radius: 3pt;
}
div.sphinxsidebar p.caption {
display: none;
}
p.sidebar-title, .sidebar p {
margin: 6pt;
}