From 123e9455beaa90237cdf3a8a38e8309d4ef4562f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Sun, 19 May 2013 11:29:10 -0500
Subject: [PATCH] Doc updates.

---
 doc/_static/akdoc.css | 6 ++++++
 doc/conf.py           | 7 ++++---
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/doc/_static/akdoc.css b/doc/_static/akdoc.css
index c78ea20f9..e83c3b72c 100644
--- a/doc/_static/akdoc.css
+++ b/doc/_static/akdoc.css
@@ -51,3 +51,9 @@ h3 {
 a.headerlink:hover {
   text-decoration: none;
 }
+
+blockquote p {
+  font-size: 100%;
+  font-weight: normal;
+  line-height: normal;
+};
diff --git a/doc/conf.py b/doc/conf.py
index a2ed8a06e..61df4a89b 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -11,7 +11,7 @@
 # All configuration values have a default; values that are commented out
 # serve to show the default.
 
-import sys, os
+#import sys, os
 
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
@@ -106,8 +106,9 @@ else:
     # further.  For a list of options available for each theme, see the
     # documentation.
     html_theme_options = {
-            'navbar_fixed_top': "true",
-            'navbar_class': "navbar navbar-inverse",
+            "navbar_fixed_top": "true",
+            "navbar_class": "navbar navbar-inverse",
+            "navbar_site_name": "Contents",
             }
 
 # Theme options are theme-specific and customize the look and feel of a theme
-- 
GitLab