Navigation/HTML fixes/additions and lots of style tweaks.

Closes #117, closes #116, closes #115, closes #112, closes #111, closes
#110, closes #105 and closes #37.