What font are they using. That is nice alas I use Linux and I also virtualize a windows 7. Is there a similar application for Linux or Win?