Added Doxygen plugin.
Added better html syntax highlighting.