a few modifications of css