Essa é uma fonte chamada Noto Sans Mono que foi criada especialmente para programadores. Ela vem com variações
condensadas e foi diretamente obtida do Google. Além disso, foi aplicado um pacote chamado Nerd Fonts Patcher para melhorar ainda mais a fonte.
