^ this.
Also, it really shouldn't be that hard. I spent maybe an hour with Firefox and Firebug to figure out what CSS to override. If someone really wanted to do a nice job, unlike my quick and dirty hack, they could spend less than a day and create a decent alternative. Maybe the site could even support user-uploadable themes in the form of CSS files or even LESS/SASS files. That would be great.