How to restore the size of the chat box on IceChat IRC to normal?

Factual Questions
1

I have a friend, named Farvel, who has accidentally made his chat box on IRC’s IceChat much larger than he needs it. How does he restore it to its regular size?

2

Farvel found it on his own. Settings, and right on top under View.