In reply to Andre.

Messy maybe, but not hard. This suggestion is just for simple CSS changes to a theme. Anything more: just make a child theme. Most front-end developers can bang out a WP child theme in our sleep.