Tiny tweak in CSS.