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