From bc869167e7e99f08a817ab3795116a2406bdf724 Mon Sep 17 00:00:00 2001
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: Tue, 9 Apr 2024 10:48:28 +0100
Subject: [PATCH] Explicitly use RTD theme for Sphinx

---
 doc/conf.py               | 2 +-
 doc/pypi-requirements.txt | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/conf.py b/doc/conf.py
index 35ce464..203060d 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -110,7 +110,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'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
diff --git a/doc/pypi-requirements.txt b/doc/pypi-requirements.txt
index 5b687c8..4147d4d 100644
--- a/doc/pypi-requirements.txt
+++ b/doc/pypi-requirements.txt
@@ -4,3 +4,4 @@ distlib
 yarg
 requests_download
 sphinxcontrib_github_alt
+sphinx-rtd-theme