github-mirror/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell.git synced 2024-11-23 09:03:37 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #6207 from krobelus/sphinx-toc

Browse Source 
sphinx: highlight current page in the site navigation
This commit is contained in:
Johannes Altmanninger 2019-10-16 11:19:27 +02:00 committed by GitHub
commit 466b6e1b43
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
sphinx_doc_src/_static/custom.css Normal file
View File

@ -0,0 +1 @@
.sphinxsidebar > ul.current > li.current { font-weight: bold }

1
sphinx_doc_src/conf.py
View File

@ -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

1
sphinx_doc_src/index.rst
View File

@ -1856,6 +1856,7 @@ Other help pages
.. toctree::
:maxdepth: 1
self
commands
design
tutorial