Make Doxygen syntax highlighting more general