FBNavigator update

With the announcements by Mozilla and Oracle, and the discontinuance of NPAPI support in the Chrome browser, the handwriting is on the wall for the Java plug-in, which for years has enabled the FBNavigator to provide a rich interactive on-line experience.

As a first step toward managing this transition, the navigation tree on the left side of the FBNavigator page has been converted to a "pure HTML+CSS" implementation. This makes use of a small Java application that generates the required HTML files from the FBDK's map.ini file.