%# Theme switcher: Light / Auto / Dark radiogroup. Zero-JS — the radios drive the html:has(#theme-…:checked) token swaps in styles.css, so the ids are a fixed CSS contract (one switch per page). Config: value? ∈ light|auto|dark (default auto, rendered checked) · label?. %><% const value = locals.value || "auto"; const label = locals.label || "Color theme"; -%>