diff mbox series

[COMMITTED] ada: Update the logo in the gnat doc

Message ID 20231107092042.3906911-1-poulhies@adacore.com
State Accepted
Headers
Series [COMMITTED] ada: Update the logo in the gnat doc |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Marc Poulhiès Nov. 7, 2023, 9:20 a.m. UTC 
  From: Julien Bortolussi <bortolussi@adacore.com>

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.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/doc/share/conf.py | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)
diff mbox series

Patch

diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py
index 48f1a96a309..4773ac96e39 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'