* {
    font-family: monospace;
}

body {
    background-color: #202020;
    color: #ffffff;
}

button {
    background-color: #404040;
    color: #ffffff;
    border: 1px solid #606060;
}

button:active {
    background-color: #303030;
}

span {
    white-space: preserve;
}

#output {
    font-size: 16pt;
}