Slight tweaks for the github.io page.