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