terminator: use a font size of 13