/* Per-tool styles for json-formatter (optional) */