some color tweaks in CSS