Use smaller font in xfce4-terminal.