All the header additions from allenc3.

Lots of tweaks to make this version of the site look almost exactly like
allenc3 in the header, with some additional tweaks to the hover states.