diff options
-rw-r--r-- | debian/control | 1 | ||||
-rw-r--r-- | doc/conf.py | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/control b/debian/control index ca26690..60cb533 100644 --- a/debian/control +++ b/debian/control @@ -18,6 +18,7 @@ Build-Depends: python3-sphinx, sbcl, sphinx-common, + python3-sphinx-rtd-theme, texinfo, Standards-Version: 4.5.1 Homepage: https://spwhitton.name/tech/code/consfigurator/ diff --git a/doc/conf.py b/doc/conf.py index 0bf86c6..445300a 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -49,7 +49,7 @@ highlight_language = 'common-lisp' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'haiku' +html_theme = 'sphinx_rtd_theme' # 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, |