body {
    font-family: Helvetica, 'Microsoft Yahei';
}

input,
button {
    font-family: Helvetica, 'Microsoft Yahei';
}

.edit-exprinfo, .CodeMirror, .CodeMirror-hints {
    font-size: ;
}