From 2b007f71df3b45db0065d9014d73e0b4ef183d3b Mon Sep 17 00:00:00 2001 From: Alessio Buccino Date: Wed, 17 Jan 2024 13:00:23 +0100 Subject: [PATCH] Use RTD theme --- docs/conf.py | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index f0b572d..1bc71ed 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -21,19 +21,16 @@ # import sys # sys.path.insert(0, os.path.abspath('.')) -import os import re import expipe -on_rtd = os.environ.get('READTHEDOCS', None) == 'True' -if not on_rtd: # only import and set the theme if we're building docs locally - try: - import sphinx_rtd_theme - html_theme = "sphinx_rtd_theme" - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] - except ImportError: - print("RTD theme not installed, using default") - pass +try: + import sphinx_rtd_theme + html_theme = "sphinx_rtd_theme" + html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] +except ImportError: + print("RTD theme not installed, using default") + pass # -- General configuration ------------------------------------------------