📝 new theme for readthedocs, logos, favicon, etc.

- 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

1 files changed, 11 insertions, 3 deletions

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')