Different font sizes for osx/linux