* Another minor CSS cleanup