body {
font-family: Helvetica, 'Microsoft Yahei';
}
input,
button {
.edit-exprinfo, .CodeMirror, .CodeMirror-hints {
font-size: 9;