From e770c12bf36346d7f7580e20ea3f1c4386a94ee3 Mon Sep 17 00:00:00 2001 From: Étienne Loks Date: Fri, 3 May 2024 17:54:18 +0200 Subject: 📝 new theme for readthedocs, logos, favicon, etc. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - use book theme - add subsection to menu - add logo for dark and light mode - add a favicon - remove download button - add section description on index page --- docs/fr/source/conf.py | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'docs/fr/source/conf.py') diff --git a/docs/fr/source/conf.py b/docs/fr/source/conf.py index 93595d225..f2a8f8d6d 100644 --- a/docs/fr/source/conf.py +++ b/docs/fr/source/conf.py @@ -102,12 +102,20 @@ 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 = "sphinx_rtd_theme" +#html_theme = "sphinx_rtd_theme" +html_theme = "sphinx_book_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 # documentation. #html_theme_options = {} +html_theme_options = { + "use_download_button": False, + "logo": { + "image_light": "_static/logo-ishtar-light.png", + "image_dark": "_static/logo-ishtar-dark.png", + } +} # Add any paths that contain custom themes here, relative to this directory. #html_theme_path = [] @@ -126,7 +134,7 @@ html_theme = "sphinx_rtd_theme" # The name of an image file (within the static path) to use as favicon of the # docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32 # pixels large. -#html_favicon = None +html_favicon = "_static/favicon.png" # 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, @@ -229,5 +237,5 @@ man_pages = [ def setup(app): - app.add_stylesheet('css/custom.css') + app.add_css_file('css/custom.css') -- cgit v1.2.3