/* Tool-specific styles for json-formatter */