Minor tweaks in css.