Tweaks to make website

I should probably rebase this, but, well, there you go.  This is mostly tweaks to the theme for your project, plus a few additional changes in the various markdown headers.