Reuse the same code for determining the default font size to use if it wasn't specified in all major ports. In particular, make wxGTK behaviour compatible with the rest and use the normal font size in this case instead of the hardcoded value of 12pt.