diff options
| author | Julien Bortolussi <bortolussi@adacore.com> | 2023-10-12 17:50:15 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-11-07 10:15:05 +0100 |
| commit | 09e5e68c07c8cf6e30af0f7553c2565bbbed49b4 (patch) | |
| tree | 7c84a386171dcfa5a132a5f4cc108c68122fa91c /gcc/ada/doc/share/conf.py | |
| parent | 003fe1356b3963c678a0f1be40cd764264fa60ab (diff) | |
| download | gcc-09e5e68c07c8cf6e30af0f7553c2565bbbed49b4.zip gcc-09e5e68c07c8cf6e30af0f7553c2565bbbed49b4.tar.gz gcc-09e5e68c07c8cf6e30af0f7553c2565bbbed49b4.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/doc/share/conf.py')
| -rw-r--r-- | gcc/ada/doc/share/conf.py | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/ada/doc/share/conf.py b/gcc/ada/doc/share/conf.py index 48f1a96..4773ac9 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' |