/* CodeMirror editor styles */
.CodeMirror {
    height: 600px !important;
    font-size: 14px;
}

.execution-time {
    font-size: .75rem;
}

.output-content {
    font-family: var(--bs-font-monospace);
}