A note about Linux Mint 17.3 ....

And for all us lovers of TrueType Fonts, yes, you can add them to Linux Mint. This one you're looking at above is called 'Bohemian Typewriter' from 1001 Fonts. It reminds me of my first Remington Portable in 1952.