Well, for starters, just the HTML page doesn't do much without the JavaScript file that contains the code to generate the menu. Can you attach that one as well (../html/js/menu.js).

As for the problem at hand, try viewing the HTML of the body at runtime, when the navigational buttons have been created (document.body.innerHTML). That code should include all generated content. You may be able to extract info of the buttons from there.