Maybe someone knows any Greasemonkey user scripts which deal with / can compactify Doxygen generated web pages?