Btw, I haven't been following this discussion, but does everyone here
know about the browser extension stylish, and userstyles.org? It's a
very easy way for anyone to use whatever CSS they like.
My favourite:
http://userstyles.org/styles/22809
Apologies if this wasn't helpful.
Steve