Some modifications of css