Minor tweaks in CSS