.editor[data-v-1c6fe423]{height:-webkit-calc(100vh - 180px);height:calc(100vh - 180px)}.create-editor[data-v-1c6fe423]{height:-webkit-calc(100vh - 300px);height:calc(100vh - 300px)}.diff-editor[data-v-1c6fe423]{height:-webkit-calc(100vh - 120px);height:calc(100vh - 120px)}