Font size/name for Settings editor, button face #22
Description
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.
{{ message }}
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.