/* portal.css: estilos extraidos progresivamente desde base.css. */