minor tweaks to CSS