/* ============================================================
   EduPortal – Student Portal accent
   Loaded after dashboard.css (+ theme-override.css) on every
   student/*.php page. Shares the same brand-orange accent as
   every other portal.
   ============================================================ */
:root { --portal-accent: #cd4e22; }

.header-portal-badge { border-left: 3px solid var(--portal-accent); }

.menu-tile .tile-ico.portal-ico { background: var(--portal-accent); }