guifont setting for mac and linux gnome