New website

I've made a new website.

It's done using Nikola, a system for producing static websites from a collection of minimally marked up content. Each page is a text file in restructured text or markdown format, stored in a private github repository (which also contains the images and other downloadable materials). Running nikola build turns this content into a nicely formatted collection of html, css, and javascript, and nikola github_deploy puts this online as a github user page.

The publications page is produced by filtering a json export from Zotero using a custom script, which you can play with if you want. Apart from doing the formatting, this script is also set up to link pdfs if they are available.