The CMS for this site is DokuWiki.
A version of the ADxMenu drop-down menu was shoe-horned into DokuWiki to give a navigation structure. The menu structure is derived from the SiteMenu page.
Various other wiki:plugins are used to assist formatting, including plugin:smaller, plugin:larger and plugin:include.