use rtd_theme

This commit is contained in:
Patrick Kanzler 2023-08-25 00:14:08 +02:00
parent 6c49e4a057
commit 46a3dd4eef

View File

@ -126,7 +126,7 @@ pygments_style = "sphinx"
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
if on_rtd:
html_theme = "default"
html_theme = "sphinx_rtd_theme"
print("recognized execution on RTD")
else:
try: