logger.warning("The Sphinx \"sphinx_rtd_theme\" HTML theme was not found. Make sure you have the theme installed to produce pretty HTML output. Falling back to the default theme.")
logger.warning(
'The Sphinx "sphinx_rtd_theme" HTML theme was not found. Make sure you have the theme installed to produce pretty HTML output. Falling back to the default theme.'
)
# Add any paths that contain custom static files (such as style sheets) here,
# Add any paths that contain custom static files (such as style sheets) here,
...
@@ -68,9 +71,7 @@ except ImportError:
...
@@ -68,9 +71,7 @@ except ImportError:
html_static_path=["static"]
html_static_path=["static"]
# Theme Options
# Theme Options
html_theme_options={
html_theme_options={"style_external_links":True}
"style_external_links":True,
}
# Show "Edit on GitLab" links
# Show "Edit on GitLab" links
html_show_sourcelink=False
html_show_sourcelink=False
...
@@ -86,12 +87,7 @@ html_context = {
...
@@ -86,12 +87,7 @@ html_context = {
# }}}
# }}}
# -- Options for Auto-Doc ---------------------------------------------------- {{{
# -- Options for Auto-Doc ---------------------------------------------------- {{{