Can we get javascript hightlighting?