Currently if a proof has more than one page, we cannot scroll to the
additional pages. We have to navigate to the page buttons or change the
page number. It would be extremely convenient to be able to scroll
between pages without having to navigate to other controls.