Bumped font size to 11px

Much more legible for people like me (with really bad eyesight).

The best solution would be a user-scalable font-size, but I didn't have time to implement this right now. If you want, I'll probably have some time tomorrow to work on that.