CSS formatting tweak.