It’s extremely easy; there’s an entire concept of themes, and it’s trivial to switch amongst them. Somewhere I’ve got a GitHub-circa-2012 theme for it just to mess with people.
I’d be interested in seeing that.
Hah, yep, that looks exactly like it. I forgot how horrid it looked.
Any idea how hard to just inject some css?