footer {visibility: hidden}

body.invariant.dark {
    background-color: #111113;
    --body-background-fill: #111113;
}
body.invariant:not(.dark) {
    background-color: white;
    --body-background-fill: white;
}

.toggled-off-button {
    background-color: rgb(85 85 85 / 69%);
    color: rgb(255 255 255 / 60%);
    border-color: #ced4da;
}  

.toggled-off-button:hover { 
    cursor: not-allowed;
}

.toggled-on-button {
    background-color: #007bff;
    color: white;
    border-color: #007bff;
}

.toggle-on-button:hover {
    background-color: #0056b3;
    color: white;
    border-color: #0056b3;
}

#submit-button {
    border: 1pt solid #0f9d0f;
    background-color: rgb(15 157 15 / 41%);
}

#reset-button {
    border: 1pt solid #BA2929;
    background-color: rgba(186, 41, 41, 0.1764705882);
}

#instruction-banner {
    background: linear-gradient(92deg, #434DA6 7.93%, #10135C 94.43%);
    padding: 10pt 20pt;
}

.hidden-button {
    display: none
}

#key_input {
    font-family: 'Courier New', Courier, monospace;
}