Switch doc theme to Bootstrap.

doc/_static/akdoc.css

+pre {
+  line-height: 100%;
+}
+
+.footer {
+  background-color: #eee;
+}
+
+body > div.container {
+  margin-top:10px;
+}
+
+dd {
+  margin-left: 40px;
+}
+
+tt.descname {
+  font-size: 100%;
+}
+
+code {
+  color: rgb(51,51,51);
+}
+
+h1 {
+  padding-bottom:5px;
+  border-bottom: 1px solid #ccc;
+}
+
+h2 {
+  padding-bottom:1px;
+  border-bottom: 1px solid #ccc;
+}
+
+h3 {
+  padding-bottom:1px;
+  border-bottom: 1px solid #ccc;
+}
+
+.rubric {
+  font-size: 120%;
+  padding-bottom:1px;
+  border-bottom: 1px solid #ccc;
+}
+
+.headerlink {
+  padding-left: 1ex;
+  padding-right: 1ex;
+}
+
+a.headerlink:hover {
+  text-decoration: none;
+}

doc/_templates/layout.html

+{% extends "!layout.html" %}
+{% set css_files = css_files + ['_static/akdoc.css']%}

doc/conf.py

@@ -91,9 +91,24 @@ pygments_style = 'sphinx'
 
 # -- Options for HTML output ---------------------------------------------------
 
-# The theme to use for HTML and HTML Help pages.  See the documentation for
-# a list of builtin themes.
-html_theme = 'default'
+try:
+    import sphinx_bootstrap_theme
+except:
+    from warnings import warn
+    warn("I would like to use the sphinx bootstrap theme, but can't find it.\n"
+            "'pip install sphinx_bootstrap_theme' to fix.")
+else:
+    # Activate the theme.
+    html_theme = 'bootstrap'
+    html_theme_path = sphinx_bootstrap_theme.get_html_theme_path()
+
+    # 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 = {
+            'navbar_fixed_top': "true",
+            'navbar_class': "navbar navbar-inverse",
+            }
 
 # 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