.json-editor[data-v-9c13334c]{height:100%;margin-bottom:10px}.json-editor[data-v-9c13334c] .CodeMirror{font-size:14px;overflow-y:auto;font-weight:400}.json-editor[data-v-9c13334c] .cm-s-rubyblue span.cm-string{color:#f08047}