From 742f8cc82260e22b36c65e44f2a0c3b5ee7b6a47 Mon Sep 17 00:00:00 2001
From: Tatsuhiro Tsujikawa <tatsuhiro.t@gmail.com>
Date: Fri, 10 May 2013 00:01:19 +0900
Subject: [PATCH] Document theme change
Need to change ru and pt as well
---
doc/manual-src/en/_static/default2.css | 6 ++++++
doc/manual-src/en/conf.py.in | 11 ++++++++++-
2 files changed, 16 insertions(+), 1 deletion(-)
diff --git a/doc/manual-src/en/_static/default2.css b/doc/manual-src/en/_static/default2.css
index c89e1f45..e5ebaf98 100644
--- a/doc/manual-src/en/_static/default2.css
+++ b/doc/manual-src/en/_static/default2.css
@@ -7,3 +7,9 @@ pre, tt {
tt {
font-size: 100%;
}
+
+div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
+ border: 0;
+ margin: 0;
+ padding: 0.3em 0;
+}
diff --git a/doc/manual-src/en/conf.py.in b/doc/manual-src/en/conf.py.in
index a59a3526..f9815f13 100644
--- a/doc/manual-src/en/conf.py.in
+++ b/doc/manual-src/en/conf.py.in
@@ -97,7 +97,16 @@ html_theme = 'default'
# further. For a list of options available for each theme, see the
# documentation.
html_theme_options = {'bodyfont':'roboto, sans-serif',
- 'headfont':'roboto, "Trebuchet MS", sans-serif'}
+ 'headfont':'roboto, "Trebuchet MS", sans-serif',
+ 'relbarbgcolor':'#fff',
+ 'relbartextcolor':'#444',
+ 'relbarlinkcolor':'#444',
+ 'sidebarbgcolor':'none',
+ 'sidebartextcolor':'#444',
+ 'sidebarlinkcolor':'#444',
+ 'headbgcolor':'none',
+ 'footerbgcolor':'none',
+ 'footertextcolor':'#444'}
# Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = []