Comment by freefouran

Ah, that's a Mac font. I'm on Linux, but you should try a more general monospaced font like Consolas, or there's probably one on Google Fonts you can use.