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