/* Per-tool styles for json-to-csv (optional) */