jashkenas/docco — pull request #308 by Truffula (2014-10-22 23:00:23+00:00)
Title: Allow classic jump list to scroll and fix div tag

Updated to match the fixed version from the parallel layout. Also
discovered a `

` tag was missing.
Fixes #302.