modified Doxygen/header.html.