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