added JSON tidy and highlight options