explicitly set html_theme = "sphinx_rtd_theme"

2024-01-04 11:59:56 -05:00 · 2024-01-04 11:59:56 -05:00 · 5ed1d4cab5
parent 422496a10c
commit 5ed1d4cab5
1 changed files with 1 additions and 1 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@ -83,7 +83,7 @@ primary_domain = 'c'
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-#html_theme = 'alabaster'
+html_theme = "sphinx_rtd_theme"
 html_style = '/default.css'

 # Theme options are theme-specific and customize the look and feel of a theme