Minor tweaks to CSS.