Decrease terminator font size