Slightly bigger font for HiDPI Linux
Don't need this on Linux