From 944795db532eb1fd5d550dbe9dd5c4e8cf0dbe37 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 20 Dec 2015 13:46:38 +0530 Subject: [PATCH] Use the default Sphinx theme rather than classic --- manual/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manual/conf.py b/manual/conf.py index cf057f4ecc..46c0cb10fc 100644 --- a/manual/conf.py +++ b/manual/conf.py @@ -109,7 +109,7 @@ pygments_style = 'sphinx' # The style sheet to use for HTML and HTML Help pages. A file of that name # must exist either in Sphinx' static/ path, or in one of the custom paths # given in html_static_path. -html_theme = 'classic' +html_theme = 'default' html_theme_options = {'stickysidebar':'true', 'relbarbgcolor':'black'} # Put the quick search box on top html_sidebars = {