From f850eb6b4c47e546b56cca14603dadd9614b2f3e Mon Sep 17 00:00:00 2001 From: Mahmoud Hashemi Date: Sun, 31 Mar 2024 13:54:41 -0700 Subject: [PATCH] fix rtd theme --- docs/conf.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index 1a3a458..6955667 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -120,11 +120,10 @@ intersphinx_mapping = {'python': ('https://docs.python.org/', None)} # 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()]