From 457de997097c53b1ddeb23e23b5e39078021db44 Mon Sep 17 00:00:00 2001 From: Étienne Loks Date: Mon, 28 Aug 2023 11:38:09 +0200 Subject: 👷 new readthedocs configuration file - explicit rdt theme MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/fr/source/conf.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/fr/source/conf.py b/docs/fr/source/conf.py index 1480d0fd7..53f6c4427 100644 --- a/docs/fr/source/conf.py +++ b/docs/fr/source/conf.py @@ -33,7 +33,9 @@ from version import __version__ # Add any Sphinx extension module names here, as strings. They can be extensions # coming with Sphinx (named 'sphinx.ext.*') or your custom ones. -extensions = [] +extensions = [ + 'sphinx_rtd_theme', +] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] @@ -99,7 +101,8 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'default' +#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 -- cgit v1.2.3