User interface customization
Font type and size can be customized via Settings | User Interface....
Note: This action is not available on Windows and Mac OS X. Manual configuration is not needed for these systems, because system settings can be obtained automatically.