Modifying text size in terminal mode

[Glen Lee Edwards]

Is there some way to change the default text size in terminal mode.  I'd
like to shrink my text size just a tad if that's possible.

Glen