XTerm: font size.