diff --git a/.gitattributes b/.gitattributes
index d270f2714..d3168c8bf 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -4,6 +4,8 @@ testsuite/ada_projects/*/*.ad[bs] no-precommit-check
 
 * text eol=lf
 *.bat text eol=crlf
+*.png -text
+*.jpeg -text
 
 # No needs
 *.java no-precommit-check
diff --git a/lkql_checker/doc/share/adacore-logo-white.png b/lkql_checker/doc/share/adacore-logo-white.png
new file mode 100644
index 000000000..115c90f74
Binary files /dev/null and b/lkql_checker/doc/share/adacore-logo-white.png differ
diff --git a/lkql_checker/doc/share/adacore_transparent.png b/lkql_checker/doc/share/adacore_transparent.png
deleted file mode 100644
index 9e7a923bb..000000000
Binary files a/lkql_checker/doc/share/adacore_transparent.png and /dev/null differ
diff --git a/lkql_checker/doc/share/conf.py b/lkql_checker/doc/share/conf.py
index 9664888f4..0a8248f36 100644
--- a/lkql_checker/doc/share/conf.py
+++ b/lkql_checker/doc/share/conf.py
@@ -60,6 +60,11 @@ def get_version():
 if os.path.isfile('favicon.ico'):
     html_favicon = 'favicon.ico'
 
+html_logo = 'adacore-logo-white.png'
+html_theme_options = {
+    "style_nav_header_background": "#12284c",
+}
+
 latex_additional_files = ['gnat.sty']
 
 latex_elements = {