Set GUI default font size on Mac (11) - equivalent to that of other
major applications (such as terminal, MS Word, etc), provides for same
screen appearance as Windows (such as when run on same screen under a VM).