Đây là phông chữ gì?

(Chủ đề là GitHub Dark Default, biểu tượng là VSCode Icons)