/* Header navigation styles live in header.css. */