Boa Tarde André, tudo bem ?
Cara, não existe pergunta boba. Já fiquei questão de horas procurando por fontes/temas do VS Code porque as que eu usava não me agradavam. Então acredito que essa usa pergunta seja até recorrente.
Quanto a sua pergunta, não sei te dizer exatamente qual fonte ele estava usando. Mas posso te dar alguma recomendações que são bastante conhecidas:
E tem muitas outras ainda. Mas geralmente são usadas fontes monoespaçadas para programar. Não que você não posso usar uma Arial no VS Code, por exemplo. Assim como os temas, a fonte acaba sendo bastante pessoal.
Bem... Espero não ter me alongado muito na resposta rsrs.
Espero ter ajudado,
Bons Estudos !