#[gui]
# fontui = -family terminus -size 9 -weight normal -slant roman -underline 0 -overstrike 0
# fontdiff = -family terminus -size 9 -weight normal -slant roman -underline 0 -overstrike 0
#[gui]
# fontui = -family terminus -size 9 -weight normal -slant roman -underline 0 -overstrike 0
# fontdiff = -family terminus -size 9 -weight normal -slant roman -underline 0 -overstrike 0