These web pages were created and are maintained using the Markdown markup language and a few custom scripts. There are many alternative implementations, from which I chose to use MultiMarkdown in compatibility mode.
The following is a tarball of the source directory: source.tar.gz
The following is the Markdown source: index.md