Change default fontsize

This fixes #503 (closed) with a quick hack to add "-font-size 12" to the default flags.

This way people used to the size 10 default can just go in and clear out the default on a new install, while their current settings-- where no font size is specified-- will work the same after an update.