From 78f63e62fed2fc32731fa7bc7fe0f3578f95d8aa Mon Sep 17 00:00:00 2001 From: Kai Szuttor Date: Thu, 2 Feb 2017 20:18:42 +0100 Subject: [PATCH] sphinx: using classic html theme. --- doc/sphinx/conf.py.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/sphinx/conf.py.in b/doc/sphinx/conf.py.in index 7b1115b9f57..3013dd1e135 100644 --- a/doc/sphinx/conf.py.in +++ b/doc/sphinx/conf.py.in @@ -118,7 +118,7 @@ todo_include_todos = True # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -#html_theme = 'classic' +html_theme = 'classic' # 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