From 188efe53e89a607905b223b3ca59a85b2ba0c2ac Mon Sep 17 00:00:00 2001 From: Markus Heiser Date: Thu, 23 Dec 2021 19:39:29 +0100 Subject: [PATCH] [doc] add global TOC to sidebar Signed-off-by: Markus Heiser --- docs/_themes/searxng/static/searxng.css | 4 ++++ docs/conf.py | 8 +++++++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/docs/_themes/searxng/static/searxng.css b/docs/_themes/searxng/static/searxng.css index db101c054..e6f93412d 100644 --- a/docs/_themes/searxng/static/searxng.css +++ b/docs/_themes/searxng/static/searxng.css @@ -20,6 +20,10 @@ div.sidebar { border-radius: 3pt; } +div.sphinxsidebar p.caption { + display: none; +} + p.sidebar-title, .sidebar p { margin: 6pt; } diff --git a/docs/conf.py b/docs/conf.py index 560e3daf8..628687b6a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -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"