.portal{--portal-ground:#f8f9fa;--portal-ink:#1a1a2e;background-color:var(--portal-ground);color:var(--portal-ink)}.portal a:not([class]){color:#257d66}.portal a:not([class]):hover{color:#1d604e}