different font settings for linux and osx