From 6bbf6c5dd01097b6cc0c5484fc5e539141a4e20f Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 17 May 2016 18:02:45 -0500
Subject: [PATCH] Switch doc theme
---
doc/conf.py | 36 +++++++++++++++++-------------------
1 file changed, 17 insertions(+), 19 deletions(-)
diff --git a/doc/conf.py b/doc/conf.py
index 607a1311..3becabe6 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -124,26 +124,24 @@ todo_include_todos = False
# -- Options for HTML output ----------------------------------------------
-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_site_name": "Contents",
- 'bootstrap_version': '3',
- 'source_link_position': 'footer',
+html_theme = "alabaster"
+
+html_theme_options = {
+ "extra_nav_links": {
+ "🚀 Github": "https://github.com/inducer/grudge",
+ "💾 Download Releases": "https://pypi.python.org/pypi/grudge",
}
+ }
+
+html_sidebars = {
+ '**': [
+ 'about.html',
+ 'navigation.html',
+ 'relations.html',
+ 'searchbox.html',
+ ]
+}
+
# 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
--
GitLab