Switch to ReadTheDocs theme

.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

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".

doc/sphinx_rtd_theme

@@ -0,0 +1 @@
+Subproject commit 44e41676943b4ebf22588b8d695054ab5ee39111