improved JSON highlighting.