From fef8b52c34c1e0fd207b6b82f88ea259c05b4675 Mon Sep 17 00:00:00 2001
From: Tomas Groth <second@tgc.dk>
Date: Mon, 7 Sep 2015 21:54:06 +0100
Subject: [PATCH] Removed unused html theme options.

---
 manual/source/conf.py | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/manual/source/conf.py b/manual/source/conf.py
index d94f14c..e66d7e6 100644
--- a/manual/source/conf.py
+++ b/manual/source/conf.py
@@ -102,12 +102,7 @@ else:
 # documentation.
 #if sys.argv[2] == 'html':
 #    html_theme_options = {
-#        'sidebarbgcolor': '#3a60a9',
-#        'relbarbgcolor': '#203b6f',
-#        'footerbgcolor': '#26437c',
-#        'headtextcolor': '#203b6f',
-#        'linkcolor': '#26437c',
-#        'sidebarlinkcolor': '#ceceff'
+#    ...
 #    }
 
 # Add any paths that contain custom themes here, relative to this directory.