/* Per-tool styles for random-json-generator (optional) */