.CodeMirror {
    height: 350px;
    border: 1px solid #ddd;
    font-size: 14px;
}

.btn-group-wrap button,
.btn-group-wrap .dropdown {
    margin-right: .5rem;
    margin-bottom: .5rem;
}

.error-line {
    background: #ffe0e0 !important;
}

.card-footer.stats {
    background: #fff;
}

.stat-pill {
    display: inline-block;
    margin: 2px;
    padding: .2rem .5rem;
    border-radius: 999px;
    background: #f1f3f5;
    font-size: 12px;
}


.editor-header {
    background: #4c4d4d;
    height: 40px;
}