Minor tweaks to CSS