Set OSX font size to 13pt to make it nicer