CSS: compiling

Previously `style.css` did not incorporate at least the commits after
2dd71ec58df71d1733a6ce6c6286b72abaef3320.