sphinx: highlight current page in the site navigation

Fixes #6189
2019-10-15 21:56:40 +02:00 · 2019-10-15 21:56:40 +02:00 · cff721afda
commit cff721afda
parent 4c63ae357a
3 changed files with 3 additions and 0 deletions
--- a/sphinx_doc_src/_static/custom.css
+++ b/sphinx_doc_src/_static/custom.css
@ -0,0 +1 @@
+.sphinxsidebar > ul.current > li.current { font-weight: bold }
--- a/sphinx_doc_src/conf.py
+++ b/sphinx_doc_src/conf.py
@ -29,6 +29,7 @@ def setup(app):
        os.path.join(this_dir, "fish_indent_lexer.py"), lexername="FishIndentLexer"
    )
    lexers["fish-docs-samples"] = fish_indent_lexer
+    app.add_css_file("custom.css")


 # The default language to assume
--- a/sphinx_doc_src/index.rst
+++ b/sphinx_doc_src/index.rst
@ -1856,6 +1856,7 @@ Other help pages
 .. toctree::
   :maxdepth: 1

+   self
   commands
   design
   tutorial
				`@ -0,0 +1 @@`
				`.sphinxsidebar > ul.current > li.current { font-weight: bold }`