I liked the font in the screenshot. Found out from author&#x27;s dot files that the font is &quot;Envy Code R&quot; (<a href="http:&#x2F;&#x2F;www.fontsquirrel.com&#x2F;fonts&#x2F;Envy-Code-R" rel="nofollow">http:&#x2F;&#x2F;www.fontsquirrel.com&#x2F;fonts&#x2F;Envy-Code-R</a>)<p>Direct font download: <a href="https:&#x2F;&#x2F;damieng.com&#x2F;blog&#x2F;2008&#x2F;05&#x2F;26&#x2F;envy-code-r-preview-7-coding-font-released" rel="nofollow">https:&#x2F;&#x2F;damieng.com&#x2F;blog&#x2F;2008&#x2F;05&#x2F;26&#x2F;envy-code-r-preview-7-co...</a>