The font is PragmataPro, which I am also using. Best font ever, but expensive.