Server-side code highlighter from ace editor.