title: How do I change the editor's default font to a font that's installed on the system?
body: <p>The editor defaults to a monospaced font, which looks like Courier New. I want to use something like Consolas instead, but I only see a few fixed options that look like they map to system fonts. Is there a way to choose an installed font to use as the editor's default font?</p>