/* Portal colours are defined in pages/education.css. */