This web page was created and is 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 office hours calendar is generated from officehours.txt.
The following is a tarball of the source directory: source.tar.gz