body {
    font-family: consolas;
    font-size: 14px;
}

input {
    font-family: consolas;
}

#inf, #ninf {
    font-family: math;
}

button {
    margin-top: 2px;
    margin-bottom: 2px;
}