From 1ea7b8c3c6cc533d27027b4318d377727dc2bc7b Mon Sep 17 00:00:00 2001 From: David Buchmann Date: Sat, 6 Jan 2024 16:32:59 +0100 Subject: [PATCH] configure theme as documented at https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html --- conf.py | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/conf.py b/conf.py index 98d2ade..741f436 100644 --- a/conf.py +++ b/conf.py @@ -40,7 +40,8 @@ # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ - 'sphinxcontrib.spelling' + 'sphinxcontrib.spelling', + 'sphinx_rtd_theme', ] # Spelling configuration @@ -122,11 +123,7 @@ # -- Options for HTML output ---------------------------------------------- -on_rtd = os.environ.get('READTHEDOCS', None) == 'True' -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 = [sphinx_rtd_theme.get_html_theme_path()] +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