Comment by neoden

What font is on the screenshot? https://github.com/microsoft/edit