Fix navigation issue

Note that this version of ``flatdoc.js`` is not minified.

It includes the following patch: https://github.com/rstacruz/flatdoc/pull/34