Revert to older javascript syntax highlighting.