Adding Docker GitHub workflow

jakobilab · Mar 6, 2023 · 66d8849 · 66d8849
1 parent 2248ada
commit 66d8849
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -80,7 +80,7 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = 'karma_sphinx_theme'
+html_theme = 'sphinx_book_theme'
 
 html_logo = 'img/circtools_150px.png'
 

diff --git a/requirements.readthedocs.txt b/requirements.readthedocs.txt
@@ -1,3 +1,4 @@
 sphinx-material
 sphinxawesome-theme
-karma-sphinx-theme
+karma-sphinx-theme
+sphinx-book-theme