small css tweak

Hi Cedric,

I merged these changes by hand. Please check if the result is not what you intended.

Thanks so much for the patch!

Ted