/* portal-brand-docs.css — brand tokens for docs (teacher / teacher-free / student-free). Loaded AFTER portal-shell.css. */
:root {
  --brand-primary: #D46E2A;
  --brand-primary-rgb: 212,110,42;
  --brand-primary-hover: #B85B21;
  --brand-primary-tint: rgba(212,110,42,.10);
  --brand-logo-tint: #D46E2A;
}