roxterm: make font smaller.