From: Ole Streicher <olebole@debian.org>
Date: Tue, 19 Jul 2022 13:32:41 +0200
Subject: Don't use custom theme

---
 docs/conf.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index d678285..94e865b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -91,7 +91,6 @@ intersphinx_mapping = {
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = "sphinx_book_theme"
 
 html_theme_options = {
     "home_page_in_toc": True,