fix rtd theme

This commit is contained in:
Mahmoud Hashemi 2024-03-31 13:54:41 -07:00
parent 263652b5b6
commit f850eb6b4c
1 changed files with 3 additions and 4 deletions

View File

@ -120,11 +120,10 @@ intersphinx_mapping = {'python': ('https://docs.python.org/', None)}
# a list of builtin themes. # a list of builtin themes.
on_rtd = os.environ.get('READTHEDOCS', None) == 'True' 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
import sphinx_rtd_theme
html_theme = 'sphinx_rtd_theme' 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_path = ['_themes', sphinx_rtd_theme.get_html_theme_path()] html_theme_path = ['_themes', sphinx_rtd_theme.get_html_theme_path()]