I use a CSS extension to change the font used to render monospaced text (composing notes/descriptions, code display). It would be nice to allow this choice natively to the user, especially since font choice for programmers can be a subjective and personal preference, sometimes held intensely. We allow users to choose their syntax colour scheme, perhaps we can allow them to choose a preferred font too? We can optionally host some of these fonts, and/or allow the user to name any font, with the understanding they will be used if installed on their system, and that we will otherwise fallback to the current font selection.