Skip to content

Commit

Permalink
Add the AdaCore logo on the doc
Browse files Browse the repository at this point in the history
Also add an icon and update the background color of the table of content
title.

eng/libadalang/libadalang#1131
  • Loading branch information
JulienBortolussiAda committed Nov 21, 2023
1 parent 112d27f commit 950bf0a
Show file tree
Hide file tree
Showing 3 changed files with 7 additions and 4 deletions.
Binary file added user_manual/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.
11 changes: 7 additions & 4 deletions user_manual/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -120,8 +120,11 @@
# Theme options are theme-specific and customize the look and feel of a theme
# further. For a list of options available for each theme, see the
# documentation.
#html_theme_options = {}

# https://sphinx-rtd-theme.readthedocs.io/en/stable/configuring.html#theme-options
html_theme_options = {
# Use AdaCore blue in the Table Of Content
"style_nav_header_background": "#12284c",
}
# Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = []

Expand All @@ -134,12 +137,12 @@

# The name of an image file (relative to this directory) to place at the top
# of the sidebar.
#html_logo = None
html_logo = "adacore-logo-white.png"

# The name of an image file (within the static path) to use as favicon of the
# docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
# pixels large.
#html_favicon = None
html_favicon = "favicon.ico"

# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
Expand Down
Binary file added user_manual/favicon.ico
Binary file not shown.

0 comments on commit 950bf0a

Please sign in to comment.