.arnie-codemirror[data-v-4a0d17b0]{height:calc(100vh - 250px);width:100%}.status-width[data-v-4a0d17b0]{min-width:8em}