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