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