another small css tweak