From 2416a8d5bec20ba569513723457487074e492e74 Mon Sep 17 00:00:00 2001 From: Marcel Klehr Date: Thu, 7 Dec 2023 14:13:11 +0100 Subject: [PATCH] fix(docs): use rtd theme Signed-off-by: Marcel Klehr --- docs/conf.py | 5 +++-- docs/requirements.txt | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index ac69aebd..379383ed 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -39,7 +39,8 @@ release = u'' # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. extensions = [ -'sphinxcontrib.httpdomain' +'sphinxcontrib.httpdomain', +'sphinx_rtd_theme', ] # Add any paths that contain templates here, relative to this directory. @@ -77,7 +78,7 @@ primary_domain = 'http' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. # -html_theme = 'default' +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 diff --git a/docs/requirements.txt b/docs/requirements.txt index 25daa5dd..bfbec1cc 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1 +1,2 @@ sphinxcontrib-httpdomain==1.7.0 +sphinx_rtd_theme==2.0.0