The font size can be set in the preferences. The font style will probably be adjustable in future versions.
The font size can be set in the preferences. The font style will
probably be adjustable in future versions.