From cff721afda5a13217ad52d0e3722570ec1d9b13c Mon Sep 17 00:00:00 2001 From: Johannes Altmanninger Date: Tue, 15 Oct 2019 21:56:40 +0200 Subject: [PATCH] sphinx: highlight current page in the site navigation Fixes #6189 --- sphinx_doc_src/_static/custom.css | 1 + sphinx_doc_src/conf.py | 1 + sphinx_doc_src/index.rst | 1 + 3 files changed, 3 insertions(+) create mode 100644 sphinx_doc_src/_static/custom.css diff --git a/sphinx_doc_src/_static/custom.css b/sphinx_doc_src/_static/custom.css new file mode 100644 index 000000000..29eb6b40b --- /dev/null +++ b/sphinx_doc_src/_static/custom.css @@ -0,0 +1 @@ +.sphinxsidebar > ul.current > li.current { font-weight: bold } diff --git a/sphinx_doc_src/conf.py b/sphinx_doc_src/conf.py index 6423f116b..fe9ad2180 100644 --- 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 diff --git a/sphinx_doc_src/index.rst b/sphinx_doc_src/index.rst index e24ff62e0..69e363a98 100644 --- 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