/* Header duplicate handling is consolidated in header-phase6.css. */