body {
    font-family: monospace;
    font-size: 3.25em;
    margin: 0.0em;
    padding: 0.0em;
}

body.error {
    color: white;
    font-weight: bold;
    background-color: red;
}

body.ok {
    color: white;
    font-weight: bold;
    background-color: green;
}

body.warn {
    color: white;
    font-weight: bold;
    background-color: orange;
}

input {
    height: 1em;
    font-size: .8em;
}

input[type=submit] {
    height: 1.2em;
}

footer p {
    font-size: .65em;
}