¿Qué fuente se usa en el editor de meta.discourse.org?

[KhoiUSA]

¡Me preguntaba por qué la fuente en Meta se veía mejor que en mi propio sitio, y ¡ahora sé por qué!

Me alegra ver esta nueva actualización de fuentes, un cambio sutil pero se ve genial.