last few touchups to CSS