dded javascript highlighting.