From 46a3dd4eef2cf4255766f69a4f855eb7c791a99b Mon Sep 17 00:00:00 2001
From: Patrick Kanzler <dev@pkanzler.de>
Date: Fri, 25 Aug 2023 00:14:08 +0200
Subject: [PATCH] use rtd_theme

---
 doc/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/conf.py b/doc/conf.py
index f7dc802..0a03634 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -126,7 +126,7 @@ pygments_style = "sphinx"
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 if on_rtd:
-    html_theme = "default"
+    html_theme = "sphinx_rtd_theme"
     print("recognized execution on RTD")
 else:
     try: