Oh hey, this uses PT fonts, I quite like them:

https://fonts.google.com/specimen/PT+Sans

https://en.wikipedia.org/wiki/PT_Fonts

I'd actually use them as my main programming font if the dot (.) character wasn't a bit too small at smaller font sizes.