From d3f3bfbfbe2a3cc4a39ea3bda97fcdd3887995b1 Mon Sep 17 00:00:00 2001
From: Nikos Skalkotos <skalkoto@grnet.gr>
Date: Fri, 22 Mar 2013 15:06:32 +0200
Subject: [PATCH] Restore html_theme = 'default' in docs/conf.py

---
 docs/conf.py | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index c7c0d8d..5c31775 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -94,6 +94,11 @@ 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'
+
+# 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
+# documentation.
 html_theme_options = {
        'collapsiblesidebar': 'true',
        'footerbgcolor':    '#55b577',
@@ -116,12 +121,6 @@ html_theme_options = {
        'codetextcolor':    '#333333'
 }
 
-
-# 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
-# documentation.
-#html_theme_options = {}
-
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = []
 
-- 
GitLab