make index
Merge branch 'master' into gh-pages
rebuild.
Merge branch 'master' into gh-pages
rebuild
Merge branch 'master' into gh-pages
build index
clean up justifications code
step through a raphael figure by clicking on the steps in the proof.
remove index.html. the only reason it's here is i mistakenly committed changes to gh-pages branch, then needed to merge them. but gh-pages has the index. i could have taken the time to figure out how to only merge the last 2 commits from gh-pages, but fuck it.