Added Doxygen highlighting.