Merge pull request #648 from return42/doc-globaltoc

[doc] add global TOC to sidebar
This commit is contained in:
Markus Heiser 2021-12-24 10:17:49 +01:00 committed by GitHub
commit 6c32043e47
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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;
}

View file

@ -157,7 +157,13 @@ if CONTACT_URL:
html_context["project_links"].append(ProjectLink("Contact", CONTACT_URL))
html_sidebars = {
"**": ["project.html", "relations.html", "searchbox.html", "sourcelink.html"],
"**": [
"globaltoc.html",
"project.html",
"relations.html",
"searchbox.html",
"sourcelink.html"
],
}
singlehtml_sidebars = {"index": ["project.html", "localtoc.html"]}
html_logo = "../src/brand/searxng-wordmark.svg"