/* Per-tool styles for json-pretty-print (optional) */