Use custom JavaScript highlighter/indenter