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