This is a static HTML document, and is to be used as a "menu" for those without JavaScript. It should therefore reflect the menu itself and give links to useful content.