Better scrolling and info page typeset.