/* Compact portal navigation is defined in pages/education.css. */