body,
input,
button {
font-family: Helvetica;
font-size: 13px;
}
.edit-exprinfo,
.CodeMirror,
.CodeMirror-hints {
font-family: Consolas, 'Courier New', monospace;
line-height: 17px;