Quale carattere viene usato nell'editor di meta.discourse.org?

[Arkshine]

La prossima volta che ricostruirai, non avrai bisogno di questo CSS.
Il font è stato introdotto il 2 aprile e la data della tua build è il 27 marzo.