fix rtd default theme

mahmoud · Sep 2, 2023 · a853395 · a853395
1 parent 1f883f0
commit a853395
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -110,7 +110,7 @@
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
 
 if on_rtd:
-    html_theme = 'default'
+    html_theme = 'sphinx_rtd_theme'
 else: # only import and set the theme if we're building docs locally
     import sphinx_rtd_theme
     html_theme = 'sphinx_rtd_theme'