Update infra.css.