From 8f93e84a1ad3ceac0585289e207017ea33b37de2 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Tue, 4 Nov 2014 07:37:25 -0800
Subject: [PATCH] Switch to ReadTheDocs theme

---
 .gitmodules          |  3 +++
 doc/conf.py          | 21 +++------------------
 doc/sphinx_rtd_theme |  1 +
 3 files changed, 7 insertions(+), 18 deletions(-)
 create mode 160000 doc/sphinx_rtd_theme

diff --git a/.gitmodules b/.gitmodules
index 6192a69b..a4957593 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "doc/sphinx-bootstrap-theme"]
 	path = doc/sphinx-bootstrap-theme
 	url = https://github.com/cppformat/sphinx-bootstrap-theme.git
+[submodule "doc/sphinx_rtd_theme"]
+	path = doc/sphinx_rtd_theme
+	url = https://github.com/cppformat/sphinx_rtd_theme.git
diff --git a/doc/conf.py b/doc/conf.py
index 67f7f729..46cde40b 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -112,30 +112,15 @@ pygments_style = 'sphinx'
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'bootstrap'
+html_theme = 'sphinx_rtd_theme'
 
 # 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 = {
-  # HTML navbar class (Default: "navbar") to attach to <div>.
-  # For black navbar, do "navbar navbar-inverse"
-  #'navbar_class': "navbar navbar-inverse",
-
-  # Fix navigation bar to top of page?
-  # Values: "true" (default) or "false"
-  'navbar_fixed_top': "true",
-
-  # Location of link to source.
-  # Options are "nav" (default), "footer".
-  'source_link_position': "footer",
-  
-  # Render the next and previous page links in navbar. (Default: true)
-  'navbar_sidebarrel': False
-}
+html_theme_options = {}
 
 # Add any paths that contain custom themes here, relative to this directory.
-html_theme_path = ['sphinx-bootstrap-theme']
+html_theme_path = ['sphinx_rtd_theme']
 
 # The name for this set of Sphinx documents.  If None, it defaults to
 # "<project> v<release> documentation".
diff --git a/doc/sphinx_rtd_theme b/doc/sphinx_rtd_theme
new file mode 160000
index 00000000..44e41676
--- /dev/null
+++ b/doc/sphinx_rtd_theme
@@ -0,0 +1 @@
+Subproject commit 44e41676943b4ebf22588b8d695054ab5ee39111