jashkenas/docco — pull request #222 by knownasilya (2013-07-16 18:34:50+00:00)
Title: Allow for scrolling if navigation list gets too big.

Fixes the issue of not being able to see every doc file.