/* Per-tool styles for json-error-finder (optional) */