I know this would be a large undertaking, but would it be possible to implement customization of the Options Dialog font face and size? To put it bluntly, my eyes suck, and being able to pick a larger size (and possibly a different face) for the options/settings dialogs in other applications has made a huge difference for me.