Doxygen CSS cleanup.