CSS: compiling

Previously `style.css` did not incorporate at least the commits after
2dd71ec58df71d1733a6ce6c6286b72abaef3320.
Merge pull request #8 from JensRantil/compress-css

CSS: compressing