CSS for various public websites, to be used with Stylebot, Greasemonkey, or any other browser extension that supports using custom CSS for websites