From 918de887b870cfc1b311b2bf686a9d5823416fc1 Mon Sep 17 00:00:00 2001 From: Mike McKerns Date: Sat, 26 Aug 2023 17:45:56 -0400 Subject: [PATCH] define html_theme as rtd workaround (#273) --- docs/source/conf.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/source/conf.py b/docs/source/conf.py index 3336fa7..2de97a5 100644 --- 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