I've updated the server and the posting tool to support hot swapping of CSS files. It's not a complex thing, and I probably should have done this earlier. In any case, there are only two styles available at the moment, but others should be easy enough to gin up if you know CSS. Submissions welcome :)