.CodeMirror {
    height: 500px !important;
    font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
    font-size: 13px;
}

.CodeMirror-gutters {
    background-color: #263238;
    border-right: 1px solid #37474f;
}

.CodeMirror-linenumber {
    color: #546e7a;
}

.CodeMirror-cursor {
    border-left: 1px solid #fff;
}

#edit_form button {
    white-space: nowrap;
}

@media (max-width: 768px) {
    .CodeMirror {
        height: 300px !important;
        font-size: 12px;
    }
}