Changed the font size on Windows. A bit smaller