.code-editor[data-v-f31dc002]{max-height:var(--c341ccf0)}.code-editor[data-v-f31dc002] .cm-editor,.code-editor[data-v-f31dc002] .cm-scroller{max-height:inherit}@media (width<640px){.code-editor[data-v-f31dc002]{max-height:var(--v3932a546)}}