style.css: more tweaks.