Merge remote branch 'origin/master' into edge

AdaCore · Nov 21, 2023 · 617f0b0 · 617f0b0
2 parents cc84f70 + dc774e1
commit 617f0b0
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/docs/gtkada_ug/adacore-logo-white.png b/docs/gtkada_ug/adacore-logo-white.png
diff --git a/docs/gtkada_ug/adacore_transparent.png b/docs/gtkada_ug/adacore_transparent.png
diff --git a/docs/gtkada_ug/conf.py b/docs/gtkada_ug/conf.py
@@ -114,7 +114,11 @@ def get_version():
 # 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 = {}
+# https://sphinx-rtd-theme.readthedocs.io/en/stable/configuring.html#theme-options
+html_theme_options = {
+    # Use AdaCore blue in the Table Of Content
+    "style_nav_header_background": "#12284c",
+}
 
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []
@@ -128,7 +132,7 @@ def get_version():
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-html_logo = 'adacore_transparent.png'
+html_logo = 'adacore-logo-white.png'
 
 # 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