Add the AdaCore logo in the doc

Also update the background color of the table of content and add a favicon. eng/recordflux/RecordFlux#1463
AdaCore · Nov 16, 2023 · e7fe635 · e7fe635
1 parent 8dccac9
commit e7fe635
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 4 deletions.
diff --git a/doc/images/adacore-logo-white.png b/doc/images/adacore-logo-white.png
diff --git a/doc/images/favicon.ico b/doc/images/favicon.ico
diff --git a/doc/language_reference/conf.py b/doc/language_reference/conf.py
@@ -49,9 +49,12 @@
 html_theme = "sphinx_rtd_theme"
 html_static_path = ["../_static"]
 html_css_files = ["css/custom.css"]
-html_logo = ""
-html_favicon = ""
+html_logo = "../images/adacore-logo-white.png"
+html_favicon = "../images/favicon.ico"
+# 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",
     "light_css_variables": {
         "color-brand-primary": "#00a650",
         "color-brand-content": "#00a650",

diff --git a/doc/user_guide/conf.py b/doc/user_guide/conf.py
@@ -49,9 +49,12 @@
 html_theme = "sphinx_rtd_theme"
 html_static_path = ["../_static"]
 html_css_files = ["css/custom.css"]
-html_logo = ""
-html_favicon = ""
+html_logo = "../images/adacore-logo-white.png"
+html_favicon = "../images/favicon.ico"
+# 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",
     "light_css_variables": {
         "color-brand-primary": "#00a650",
         "color-brand-content": "#00a650",