define html_theme as rtd workaround (#273)

uqfoundation · Aug 26, 2023 · 918de88 · 918de88
1 parent 0ea0d63
commit 918de88
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -137,6 +137,8 @@
    #import sphinx_rtd_theme
    #html_theme = 'sphinx_rtd_theme'
    #html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+else:
+    html_theme = 'sphinx_rtd_theme'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the