doxygen css: fix margins