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 _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l