knot/sphinx_theme_default.patch

13 lines
517 B
Diff
Raw Permalink Normal View History

diff -U3 -r knot-2.4.1.orig/doc/conf.py knot-2.4.1/doc/conf.py
--- knot-2.4.1.orig/doc/conf.py 2017-03-13 11:22:34.082720269 +0000
+++ knot-2.4.1/doc/conf.py 2017-03-13 11:23:27.926649586 +0000
@@ -93,7 +93,7 @@
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
-html_theme = 'nature'
+html_theme = 'default'
# 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