[gui]
fontui = -family helvetica -size 11 -weight normal -slant roman -underline 0 -overstrike 0
fontdiff = -family fixed -size 10 -weight normal -slant roman -underline 0 -overstrike 0
[gui]
fontui = -family helvetica -size 11 -weight normal -slant roman -underline 0 -overstrike 0
fontdiff = -family fixed -size 10 -weight normal -slant roman -underline 0 -overstrike 0