Themes: allow specifying the font family for syntax elements

[jansol]

Check for existing issues

• Completed

Describe the feature

Basically a follow-up to #4986. In addition to the style and weight, it would be nice to be able to also change the font family for syntax elements. https://monaspace.githubnext.com/ for example introduces a set of distinctly styled but metrics-compatible fonts for pretty much this purpose.

If applicable, add mockups / screenshots to help present your vision of the feature

No response

[ConradIrwin]

Thanks for this suggestion! We have a lot of small tweaks we need to make to themes, so let's collect all the ideas here: #6657 for when we're ready to do that.

@as-cii thinks this would be quite easy to do if you want to pair with him: https://cal.com/as-cii/30min