From: Julien Bortolussi <bortolussi@adacore.com>
Date: Thu, 12 Oct 2023 15:50:15 +0000 (+0200)
Subject: ada: Update the logo in the gnat doc
X-Git-Tag: basepoints/gcc-15~4929
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=09e5e68c07c8cf6e30af0f7553c2565bbbed49b4;p=thirdparty%2Fgcc.git

ada: Update the logo in the gnat doc

Update the logo and the background color in the top right corner of the
GNAT User’s Guide for Native Platforms

gcc/ada/

	* doc/share/conf.py: Changed the background color and the logo.
---

diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py
index 48f1a96a3099..4773ac96e39f 100644
--- a/gcc/ada/doc/share/conf.py
+++ b/gcc/ada/doc/share/conf.py
@@ -138,10 +138,13 @@ tags.add(get_gnat_build_type())
 
 # Define figures to be included
 html_theme = 'sphinx_rtd_theme'
-if os.path.isfile('adacore_transparent.png'):
+html_theme_options = {
+    "style_nav_header_background": "#12284c",
+}
+if os.path.isfile('adacore-logo-white.png'):
     # split html and pdf logos to avoid 'same name' error in sphinx <5.2+
-    html_logo = 'adacore_transparent.png'
-    latex_logo = 'adacore_transparent.png'
+    html_logo = 'adacore-logo-white.png'
+    latex_logo = 'adacore-logo-white.png'
 if os.path.isfile('favicon.ico'):
     html_favicon = 'favicon.ico'