Arod_component.NavNavigation header component for the Arod site.
Sticky header with navigation links, search button, and TOC breadcrumb row matching the Tailwind CSS reference design.
module I = Arod.Iconsval search_icon : Htmlit.El.htmlval theme_toggle_btn : Htmlit.El.htmlval filter_icon_for : string -> Htmlit.El.htmlDecorative gradient line connecting nav items, visible only on desktop.
val flow_svg : Htmlit.El.htmlDesktop nav divider — thin vertical line.
Desktop nav link with caret indicator.
Render a nav item (link or divider) for desktop.
Mobile nav divider — subtle horizontal rule.
Mobile nav link — vertical list with icon + label.
Render a nav item (link or divider) for mobile.
val toc_row : sections:(string * string) list -> Htmlit.El.htmlval search_filter_pill : active:bool -> string -> string -> Htmlit.El.htmlval search_modal : Htmlit.El.htmlval header :
?current_page:string ->
?toc_sections:(string * string) list ->
Arod.Ctx.t ->
Htmlit.El.html