workaround for doxygen bug: open div with id="top" in header.html