Tweak Doxyfile.in for better html look