/* Navigation styles are shared across all public pages in /shared-header.css. */