More Doxygen CSS changes