FontSize

Can be changed in the GUI. Stored in the user profile.

Possible values: Default value: 10