decouple logo and icon

This commit is contained in:
Jean-Marie 'Histausse' Mineau 2026-03-18 14:08:16 +01:00
parent 4693003806
commit 07a0392d8c
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
5 changed files with 18 additions and 16 deletions

View file

@ -7,10 +7,8 @@
#let html_body(
/// The visible header of the page
header: [],
/// Logo of the site, must be an url (TODO)
logo,
/// Logo alt-text
logo_alt,
/// Logo of the site
logo: none,
/// Navigation menu content, css style expect a list
menu: none,
body
@ -81,7 +79,7 @@
// typst `image` function embed the image in the html, which is not great,
// and logo is also used for icon, so it's necessarily an url
if logo != none {
html.img(src: logo, alt: logo_alt, height: 100) // TODO: height bad
logo
}
})
body