docs: use sphinx_rtd_theme for HTML output

It makes sense to render using the same theme locally that is used on RTD.
The theme can be installed using:

    pip install sphinx_rtd_theme
This commit is contained in:
Matthias Schiffer 2019-02-03 22:45:47 +01:00
parent cd355bbbfb
commit f33d729253
No known key found for this signature in database
GPG Key ID: 16EF3F64CB201D9C

View File

@ -74,7 +74,7 @@ pygments_style = None
# The theme to use for HTML and HTML Help pages. See the documentation for # The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes. # a list of builtin themes.
# #
html_theme = 'alabaster' html_theme = 'sphinx_rtd_theme'
# Theme options are theme-specific and customize the look and feel of a 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 # further. For a list of options available for each theme, see the