Font size/name for Settings editor, button face

[GH01]

The font size for the Settings editor is also too small.

And now that the button size can be changed, the font for buttons needs to be resizable.