Improved scripts in Doxygen/header.html.