clean up css file. #3846