/* Per-tool styles for url-encode-decode (optional) */