Minor modifications of css