Skip to content

Commit

Permalink
Merge branch 'mr/bortolussi/update_logo_doc' into 'master'
Browse files Browse the repository at this point in the history
Update the logo in the docs

See merge request eng/libadalang/langkit-query-language!125
  • Loading branch information
raph-amiard committed Nov 22, 2023
2 parents b6bfc7f + 0c77ea9 commit 5d2db9e
Show file tree
Hide file tree
Showing 4 changed files with 7 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Binary file added lkql_checker/doc/share/adacore-logo-white.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Binary file removed lkql_checker/doc/share/adacore_transparent.png
Binary file not shown.
5 changes: 5 additions & 0 deletions lkql_checker/doc/share/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -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 = {
Expand Down

0 comments on commit 5d2db9e

Please sign in to comment.