settings

reset options

font:

• unifont ex mono
• helvetica
• georgia
• times new roman

size:

- +

reset all settings