From a87b6ae6f9f8d11a484093d357b8294e15afe19d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20H=C3=BCgel?= <shugel@tcd.ie>
Date: Tue, 7 Jan 2025 18:15:42 +0000
Subject: [PATCH] Use RTD Sphinx theme

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

diff --git a/doc/conf.py b/doc/conf.py
index abba14e..b5b145c 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -97,7 +97,7 @@
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = "default"
+html_theme = "sphinx_rtd_theme"
 RTD_NEW_THEME = True
 
 # Theme options are theme-specific and customize the look and feel of a theme