Qual fonte é usada no editor do meta.discourse.org?

[Arkshine]

Na próxima vez que você reconstruir, não precisará deste CSS.
A fonte foi introduzida em 2 de abril, e sua data de compilação é 27 de março.