body, html {
    margin: 0;
    padding: 0;
    height: 100%;
    display: flex;
    flex-direction: column;
    font-family: monospace;
    font-size: 14px;
    background-color: aliceblue;
    overflow: hidden;
    white-space: nowrap;
}

.content-pane {
    display: flex;
    flex-direction: column;
    margin-inline: 8px;
    margin-block: 8px;
    gap: 4px;
}

.mc-version-selector {
    font-family: monospace;
    font-size: 14px;
    border: 1px solid black;
}

.highlight {
    background-color: yellow;
}

.error-message {
    color: red;
}

.editor-disabled {
    pointer-events: none;
    opacity: 0.6;
}

.editor-container {
    flex: 1;
    display: flex;
    flex-direction: column;
    overflow: auto;
}

.CodeMirror {
    flex: 1;
    height: auto;
    font-size: 14px;
    border: 1px solid gray;
}