From a7520f164ae67f6c685a4d920ed4de59acf60dec Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Fri, 10 Oct 2014 06:18:50 -0700 Subject: [PATCH] Restore theme --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 4e3ac77a..d0ba68fe 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -110,7 +110,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 = 'sphinxdoc' +html_theme = 'sphinxdoc' # 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