Next Prev Table of Contents
This is a new feature not found in any other pager. You can press the middle mouse button (or in some systems, left and right button at the same time), on the window you want to resize, and move the mouse to get the desired size.