/* Tool-specific styles for json-to-csv-converter */