What font is used in meta.discourse.org editor?

[KhoiUSA]

I was wondering why the font on Meta looked better than my own site, and now I know why!

Glad to see this new font update, subtle change but looks great.