diff options
| -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' |