Small HTML niceness fixes

* <font> tags replaced with a class. (Seriously, people, they were
  deprecated in 1998.)
* Inexplicable stray </small> tag deleted
Reduce boilerplate in printing navigation menu