readd sphinxrtd theme

Carreau · Carreau · commit 721b5a5c3ac5 · 2023-09-01T14:04:16.000+02:00
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -36,10 +36,10 @@
                     "__name__": "__main__",
                 },
             )
-else:
-    import sphinx_rtd_theme
-    html_theme = "sphinx_rtd_theme"
-    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+import sphinx_rtd_theme
+
+html_theme = "sphinx_rtd_theme"
+html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
 
 # Allow Python scripts to change behaviour during sphinx run
 os.environ["IN_SPHINX_RUN"] = "True"
