From 951c7a240a7f40fc5f17a4517e66430b0610e3ec Mon Sep 17 00:00:00 2001 From: Noah Gorny Date: Sun, 25 Oct 2020 14:59:22 +0200 Subject: [PATCH] docs: Change theme to sphinx rtd theme --- docs/conf.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index af4615e5..d11bc0a3 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -31,6 +31,7 @@ release = '' # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ + 'sphinx_rtd_theme' ] # Add any paths that contain templates here, relative to this directory. @@ -47,7 +48,7 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store'] # 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' # Add any paths that contain custom static files (such as style sheets) here, # relative to this directory. They are copied after the builtin static files,