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