[Anthony Towne]

you can also hold down the "Ctrl" button and use the mouse roller (if you have one) to make the text smaller or larger.