minor fixes. (do not write CSS while your browser is zoomed!)