Doxygen-produced HTML docs now look a lot more like the web site, and are now more attractive in general. :)