.portal-workspace{background-color:var(--background)}.portal-banner{border:2px solid var(--card);box-shadow:var(--shadow-portal-banner)}