From 8c0e772e0d5396509ff5332a6c9ad584faa706a4 Mon Sep 17 00:00:00 2001
From: Alex Mykyta <amykyta3@users.noreply.github.com>
Date: Mon, 19 May 2025 10:10:35 -0700
Subject: [PATCH] Switch docs theme

---
 docs/conf.py          | 12 +++++++++++-
 docs/requirements.txt |  2 +-
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index e4087b8..6a3f472 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -49,7 +49,17 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = "sphinx_rtd_theme"
+html_theme = "sphinx_book_theme"
+
+html_theme_options = {
+    "repository_url": "https://github.com/SystemRDL/PeakRDL-regblock",
+    "path_to_docs": "docs",
+    "use_download_button": False,
+    "use_source_button": True,
+    "use_repository_button": True,
+    "use_issues_button": True,
+}
+
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
diff --git a/docs/requirements.txt b/docs/requirements.txt
index 616ede7..d37f57f 100644
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,3 +1,3 @@
 pygments-systemrdl
 sphinxcontrib-wavedrom
-sphinx-rtd-theme
+sphinx-book-theme