diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-01-10 13:21:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-10 13:21:07 +0100 |
| commit | 7cdb86ba951766d807130f4e8af5190789c2e690 (patch) | |
| tree | aef828ea6e7d58eb9468870e697b051c042f8f06 | |
| parent | 6420322cd1a22da50d7af9c0bb1b17bd1f370777 (diff) | |
| parent | d22a16bc14bf8fad1c75652b90dcdcffb38d1efe (diff) | |
| download | searxng-7cdb86ba951766d807130f4e8af5190789c2e690.tar.gz searxng-7cdb86ba951766d807130f4e8af5190789c2e690.zip | |
Merge pull request #736 from not-my-profile/doc-highlight-current-in-sidebar
[doc] highlight the current page in the sidebar
| -rw-r--r-- | docs/_themes/searxng/static/searxng.css | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/_themes/searxng/static/searxng.css b/docs/_themes/searxng/static/searxng.css index e6f93412d..64f6d4700 100644 --- a/docs/_themes/searxng/static/searxng.css +++ b/docs/_themes/searxng/static/searxng.css @@ -33,6 +33,9 @@ p.sidebar-title, .sidebar p { list-style-type: disclosure-closed; } +.sphinxsidebar .current > a { + font-weight: bold; +} /* admonitions */ |