Update infra.css