.portal-theme{--portal-brand:#4f7cf0;--portal-brand-hover:#3b67de;--portal-brand-text:#3b67de;--portal-tint:#eaf0fe;--portal-tint-border:#c7d6fb;--portal-page:#f5f8fe;--portal-border:#e2e8f4;--portal-border-soft:#edf1f8;--portal-surface:#f7faff;--portal-skeleton:#e9eef8;--portal-sidebar:#e8edf6}.portal-theme .brand-purple{color:var(--portal-brand-text)}