For now, this site is generated from Markdown with Jekyll using a modified version of the minima theme. Jekyll source is available on GitHub: jekyll