fix rtd theme

mahmoud · Mar 31, 2024 · f850eb6 · f850eb6
1 parent 263652b
commit f850eb6
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -120,11 +120,10 @@ def get_mod_stats():
 # a list of builtin themes.
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
 
-if on_rtd:
-    html_theme = 'default'
-else: # only import and set the theme if we're building docs locally
+html_theme = 'sphinx_rtd_theme'
+
+if not on_rtd: # only import and set the theme if we're building docs locally
     import sphinx_rtd_theme
-    html_theme = 'sphinx_rtd_theme'
     html_theme_path = ['_themes', sphinx_rtd_theme.get_html_theme_path()]