updated doxygen html output. done with the latest doxygen changes.