consider adding font size to configurable preferences

[ngwese]

the fixed 12 px default font size for the editor can be too small at times. it is desirable to be able to select font size for the editor at a minimum. while zooming the entire page in the browser works it has the negative side-effect of making all other UI elements larger as well.