comment scrolling and a scroll-after utility

fixes #537
scroll session-info; style errors better

fixes #536 session scrolling
fixes #507 overhighlighting of errors