.CodeMirror {
    font-size: 9pt !important;
}
.CodeMirror-linenumber {
    font-size: 9pt !important;
}
#tabs button {
    font-size: 7pt !important;
}