I also could have held ctrl and used the wheel on my mouse to make the font bigger. That was not the point of my comment.