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 48f1a96a30994e0c4f3b8515f04f3d908f20f847..4773ac96e39f2678d48b1e032db803015fa032da 100644 (file)
--- 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'