Some tweaks in CSS...