html, body {
    margin: 0;
    padding: 0;

    background-color: #393939;
    color: #bfbfbf;

    font-family: monospace;
}

pre {
    padding-top: 3em;
}

button {
    border: 1px solid #bfbfbf;
    background-color: #393939;
    color: #bfbfbf;

    font-size: large;
}

button:hover {
    border-color: #9d9d9d;
    color: #9d9d9d;
}

button:active {
    border-color: #e0e0e0;
    color: #e0e0e0;
}

#time {
    font-size: xx-large;
}

button.active {
    color: #4ea80e;
    border-color: #4ea80e;
}