some additional formatting tweaks in the CSS