Little modifications in CSS