conf: Fix RTD theme.

Fixes #150
pybricks · Oct 23, 2023 · b97eef8 · b97eef8
1 parent 6bbdccb
commit b97eef8
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/doc/common/conf.py b/doc/common/conf.py
@@ -145,13 +145,10 @@
 
 # -- 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,