Optimize CSS: reduce comment whitespace

Now that the backend CSS is pretty much done, we no longer need
excessive comments and whitespace or markers for readability. This
actually saves quite some space in style.css.