diff --git a/doc/common/conf.py b/doc/common/conf.py index 89d15b3..09cf862 100644 --- a/doc/common/conf.py +++ b/doc/common/conf.py @@ -145,13 +145,10 @@ add_module_names = False # Hide module name # -- Options for HTML output ---------------------------------------------- -if ON_RTD: - html_theme = "default" -else: - import sphinx_rtd_theme +import sphinx_rtd_theme - html_theme = "sphinx_rtd_theme" - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +html_theme = "sphinx_rtd_theme" +html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] html_context = { "disclaimer": _DISCLAIMER,