tweaks in CSS