doc/html - change to new web page design.

Change header and footer over to new design, switch around the css
files, and adjust the build system to match.

Design by Grant Zabriskie.