The menu is generated dynamically by JavaScript functions defined in quicklinks.js, by traversing the Detailed Table of Contents in the generated synopsis.html.