Reset theme to readthedocs.

The default somehow changed.
kjolley · Nov 3, 2023 · 3c96800 · 3c96800
1 parent 50b19a4
commit 3c96800
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/conf.py b/conf.py
@@ -104,7 +104,7 @@
 #html_theme = 'default'
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
 if on_rtd:
-    html_theme = 'default'
+    html_theme = 'sphinx_rtd_theme'
 else:
 #    html_theme = 'nature'
      html_theme = 'bizstyle'