A few CSS refinements.