From a9edfcbc7286a34f2dc5e90000cda412056e3fd1 Mon Sep 17 00:00:00 2001 From: Diederik van der Boor Date: Wed, 8 Apr 2015 13:47:48 +0200 Subject: [PATCH] docs: fix error with old Sphinx theme --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 6a2e430..cbd3244 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -97,7 +97,7 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'default' +#html_theme = 'alabaster' # 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