use different font in MacOS and Linux