From 57dbefe80ce8feed9f9a8cd6341ef4d6d0839cff Mon Sep 17 00:00:00 2001
From: Antonin RAFFIN <antonin.raffin@ensta.org>
Date: Thu, 7 Sep 2023 09:53:05 +0200
Subject: [PATCH] Fix read the doc default theme (#1668)

* Fix doc theme because rtd change default

* Fix doc build
---
 docs/conf.py | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 9138aaa..8aeae8b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -112,13 +112,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"