Allow user to change editor font

[neocotic]

This has come from a user idea:

add custom fonts in editor subj

I think this is a fine idea but will probably not be picked up until after the current redesign has been completed.

[neocotic]

We'll obviously have to check how well Ace supports this in terms of API as well as styling.