From 5be11deaf3384dd38dfb1c1436916f3509861386 Mon Sep 17 00:00:00 2001
From: Antonin Raffin <antonin.raffin@dlr.de>
Date: Thu, 7 Sep 2023 09:53:40 +0200
Subject: [PATCH] Fix RTD default theme

---
 docs/conf.py | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index efd8cc6..218ef3c 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -111,14 +111,7 @@ pygments_style = "sphinx"
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-
-# Fix for read the docs
-on_rtd = os.environ.get("READTHEDOCS") == "True"
-if on_rtd:
-    html_theme = "default"
-else:
-    html_theme = "sphinx_rtd_theme"
-
+html_theme = "sphinx_rtd_theme"
 html_logo = "_static/img/logo.png"