/* Type colours apply to formatted, collapsed and minified JSON output. */
.json-output-highlight .json-token-key { color: #153e75; }
.json-output-highlight .json-token-array { color: #ed1025; }
.json-output-highlight .json-token-object { color: #48136c; }
.json-output-highlight .json-token-string { color: #195c33; }
.json-output-highlight .json-token-boolean { color: #940d14; font-style: italic; }
.json-output-highlight .json-token-null { color: #66666b; font-style: italic; }