Что это за шрифт?

(А тема — GitHub Dark Default, иконки — VSCode Icons)