Doxygen comments now use font-lock-constant-face, don't override it in the theme