Add proportional fonts.

[kevincox]

It would be great to try (and filter) proportional fonts.

[braver]

I had this idea that you might be able to try a font by inputting the name yourself. This would allow you to more easily compare the fonts to things you have already installed. The problem with proportional fonts is that they're all the fonts. Might be interesting to find proportional fonts designed for programming, i.e. with slashed zeroes and aligned symbols, though.

[kevincox]

That sounds great. I have a lot of fonts installed that I can look through but it would be nice to have a sort of short list of things that work well for programming because the characters look distinct and the punctuation works well together. Of course this is somewhat subjective but I think having some options available makes sense.

[roryokane]

The proportional font I use for coding is Verdana. If you include a whitelist of proportional fonts in the app, I nominate Verdana for inclusion.

If you could enter an arbitrary font name like @braver said, that would work equally well, since every browser has Verdana installed.