Some style improvements to the Javadoc syntax highlighting.