More small tweaks to the CSS.