pub fn render_nav(nav: &[NavEntry], current_href: &str) -> StringExpand description
The site navigation bar: one link per page, the current one marked.
Plain anchors in a <nav>, styled by website/public/style.css. No script:
the explorer is deliberately vendored with no build step (ADR-0010), and a
navigation bar that needs JavaScript to be a navigation bar would be the
first thing on this site that does.