Use different font size for Linux and Mac OS X