Undo local CSS changes for an easier upstream merge