A small sphinx extension to make it possible to add a "toggle button" to sections of your page.
You can install sphinx-globaltoc with pip:
pip install sphinx-globaltocIn your conf.py configuration file, add sphinx_globaltoc
to your extensions list.
E.g.:
extensions = [
...
'sphinx_globaltoc'
...
]