The "Insert Raw HTML" functionality is not for syntax highlighting. Rather, it's for rendering actual HTML (allowable HTML, anyway). So for example, I'm going to insert the below as raw HTML:
<h1>My H1 Heading</h1> <p>My paragraph with a hyperlink to <a href="https://community.jivesoftware.com" target="_blank">Jive Community</a>.</p>
And this is then rendered below:
My H1 Heading
My paragraph with a hyperlink to Jive Community.
In the rich text editor, the HTML will look like syntax highlighting, but upon publish the allowable HTML and tags will render.
Let me know if you had any other questions on this.
Sorry for the late response.
I was curious to see if Jive was adding a way to safely add Web code that is normally not allowed by the security filters but apparently this is not the case.