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