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

Product Support
10

So I can rebuild now and remove the entire block of CSS I pasted above?

What about the Google font?:

<link href="https://fonts.googleapis.com/css2?family=JetBrains+Mono&display=swap" rel="stylesheet">