Page.setHeader

Set the HTML content that will be inserted into the <header> tag at the top of the body.

$page.setHeader(headerHtml())

tm headerHtml {
    <nav>
        <a href="/"> Home
        <a href="/articles"> Articles
        <a href="/contact"> Contact
    </>
}