Port JavaScript highlighter