.box-card[data-v-39ebf3b7]{height:80vh}.big-title[data-v-39ebf3b7]{font-size:20px;font-weight:700;margin-bottom:10px}[data-v-39ebf3b7] .el-card__body{height:800px}[data-v-39ebf3b7] .CodeMirror-wrap{height:600px}