.CodeMirror {
    font-family: Arial, monospace;
}

.CodeMirror-lines {
    padding-right: 1rem !important;
}
.CodeMirror-line {
    letter-spacing: 1px;
    word-spacing: 6px;
}
.CodeMirror pre.CodeMirror-line, .CodeMirror pre.CodeMirror-line-like, .CodeMirror-linenumber {
    font-size: 1.5rem;
    line-height: 2rem;
}
.codingwidget-box {
    display: block;
    position: relative;
}

.codingwidget-box .button.btn-run {
    font-size: 1.25rem !important;
}

.codingwidget-box .button+.button {
    margin-left: 0.5rem;
}