Merge branch 'mr/bortolussi/update_logo_doc' into 'master'

Update the logo in the docs See merge request eng/libadalang/langkit-query-language!125
AdaCore · Nov 22, 2023 · 5d2db9e · 5d2db9e
2 parents b6bfc7f + 0c77ea9
commit 5d2db9e
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 0 deletions.
diff --git 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
diff --git a/lkql_checker/doc/share/adacore_transparent.png b/lkql_checker/doc/share/adacore_transparent.png
diff --git 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 = {