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

[Arkshine]

La próxima vez que compiles, no necesitarás este CSS.
La fuente se introdujo el 2 de abril y tu fecha de compilación es el 27 de marzo.