/* Per-tool styles for json-to-html-table (optional) */