From 09e5e68c07c8cf6e30af0f7553c2565bbbed49b4 Mon Sep 17 00:00:00 2001
From: Julien Bortolussi <bortolussi@adacore.com>
Date: Thu, 12 Oct 2023 17:50:15 +0200
Subject: [PATCH] ada: Update the logo in the gnat doc
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
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.
---
gcc/ada/doc/share/conf.py | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
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'
--
GitLab