When I had my XGA screen I found the font to be much too big, for it's set in pixel an absolute value. Now I have a WXGA+ display, and the font would still be much to big if I didn't use Stylish. Simple zooming doesn't suffice as some parts would actually become too small. Furthermore I can reduce the space between the words on lists; looks much better that way.
During a lecture I just hacked together a very little stub of a style sheet, which makes the lists a little more compact and the fonts a tad smaller. When I have a new version, I’m just going to overwrite the old one, so the following link might be much newer than this post:
For example, inserting square brackets via [ and ], the way we did it on Wordie emeritus, doesn’t seem work anymore, but there are two Unicode characters that look similar (albeit a tad bit clumsier). Also there are all those neat typographic quotation marks and dashes that I like so much.
You can create a new palette just by copying in these example repertoires (or parts of them):
Is there an add-on that automatically changes words on a web page? I'd like to change the "XYZ likes" thingy on facebook back to "XYZ became a fan of" so that I don't accidentally "like" stupid things by mistakes. (See trolleme)