Guess default font size based on monitor resolution

This will probably need more tweaking.