Fixes #31 : new font for Windows, still Ubuntu-Mono on Mac OS X