From f33d7292534b6544af0b7a16fea87626b70d97d6 Mon Sep 17 00:00:00 2001 From: Matthias Schiffer Date: Sun, 3 Feb 2019 22:45:47 +0100 Subject: [PATCH] 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 --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index c6271983..a3fe4c5c 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -74,7 +74,7 @@ pygments_style = None # The theme to use for HTML and HTML Help pages. See the documentation for # 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 # further. For a list of options available for each theme, see the