small changes in dev.css