[#- The API navigation tree. Generated once and included by the api layout; script.js marks the current page. -#]