From b65293176e034e2ca2ad63e094cba377aa15479a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?benjamin=20melan=C3=A7on?= Date: Wed, 1 Jul 2020 21:17:27 -0400 Subject: [PATCH] Switch to the Sphinx RTD theme (better TOC, better GitLab link, no weird versions thing) --- conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/conf.py b/conf.py index c83ffea..493706c 100644 --- a/conf.py +++ b/conf.py @@ -87,7 +87,7 @@ pygments_style = 'sphinx' # 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