{# Shared cross-page navigation strip.
Include immediately after on any page so it is never a
navigation dead-end. Self-contained (inline styles) so it renders
consistently regardless of the host page's own CSS. Brand tokens:
navy #0B1620, cyan #4DE4E4. No em-dashes per house style.
2026-09-30: the Pages menu lists every page from web/nav.py, so the
older dashboards reach the new pages too. #}