Some JSON-specific highlighting