Fix RTD default theme

This commit is contained in:
Antonin Raffin 2023-09-07 09:53:40 +02:00 committed by Andreas Schaarschmidt
parent cf4ed5fe65
commit 5be11deaf3
1 changed files with 1 additions and 8 deletions

View File

@ -111,14 +111,7 @@ pygments_style = "sphinx"
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
# Fix for read the docs
on_rtd = os.environ.get("READTHEDOCS") == "True"
if on_rtd:
html_theme = "default"
else:
html_theme = "sphinx_rtd_theme"
html_theme = "sphinx_rtd_theme"
html_logo = "_static/img/logo.png"