#import "./custom_html.typ" as chtml /// Buttons to toggle the navigation menu. #let nav-menu-toggle( ) = { ```raw-css body:has(#nav-menu-toggle:checked) #icon-nav-menu { display: none; } body:has(#nav-menu-toggle:checked) #icon-nav-menu-close { display: block; } body:has(#nav-menu-toggle:not(:checked)) #icon-nav-menu { display: block; } body:has(#nav-menu-toggle:not(:checked)) #icon-nav-menu-close { display: none; } #nav-menu-toggle-label { input { opacity: 0; position: absolute; pointer-event: none; } } ``` html.label(id: "nav-menu-toggle-label", { html.input(type: "checkbox", name: "nav-menu-toggle", id: "nav-menu-toggle") chtml.icon-container(id: "icon-nav-menu", sym.eq.triple) chtml.icon-container(id: "icon-nav-menu-close")[X] }) /* */ } #let nav-menu(body) = { ```raw-css body:has(#nav-menu-toggle:not(:checked)) nav-menu { display: none; } nav-menu { } ``` chtml.nav-menu(body) }