diff options
Diffstat (limited to 'resources/tools/presentation/conf.py')
| -rw-r--r-- | resources/tools/presentation/conf.py | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/resources/tools/presentation/conf.py b/resources/tools/presentation/conf.py index 32a6908d5c..a30ee056d7 100644 --- a/resources/tools/presentation/conf.py +++ b/resources/tools/presentation/conf.py @@ -133,7 +133,20 @@ html_theme = 'sphinx_rtd_theme' # further. For a list of options available for each theme, see the # documentation. # -# html_theme_options = {} +html_theme_options = { + 'canonical_url': '', + 'analytics_id': '', + 'logo_only': False, + 'display_version': True, + 'prev_next_buttons_location': 'bottom', + 'style_external_links': False, + # Toc options + 'collapse_navigation': True, + 'sticky_navigation': True, + 'navigation_depth': 3, + 'includehidden': True, + 'titles_only': False +} # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files, @@ -149,6 +162,15 @@ html_context = { ], } +# If false, no module index is generated. +html_domain_indices = True + +# If false, no index is generated. +html_use_index = True + +# If true, the index is split into individual pages for each letter. +html_split_index = False + # -- Options for LaTeX output --------------------------------------------- latex_engine = 'pdflatex' |