stylesheet.css: minor cleanup