4 ms·The font is PragmataPro, which I am also using. Best font ever, but expensive.by systemfreund 11y agoThe font is PragmataPro, which I am also using. Best font ever, but expensive.