@font-face {
    font-family: Quicksand;
    src: url(fonts/Quicksand-VariableFont_wght.ttf),
        local(Arial),
        local(Helvetica);
}
@font-face {
    font-family: Jersey15;
    src: url(fonts/Jersey15-Regular.ttf);
    font-weight: 100;
}

html, body {
    padding: 0;
    margin: 0;
    --main: #00dddd;
    color: white;
    font-family: Quicksand;
}
html {
    background-color: black;
    --A: #ff0000;
    --B: #00ff00;
    --C: #ffff00;
    --D: #8a8aff;
    --E: #ffae00;
    --F: #00ffee;
    --G: #7b00ff;
    --SP: #ff008c;
    --IP: #00aaff;
    --SB: #f700ff;
    --CARRY: #1f48ff;
    --ZERO: #00a21e;
    --FAIL: #ff0000;
    --IN: #acacac;
}
.jersey15 {
    font-family: Jersey15, monospace;
    font-weight: 100;
}
a {
    color: var(--main);
}
button {
    border: 2px white solid;
    border-radius: 6px;
    background-color: black;
    color: white;
    font-size: 1.5rem;
    margin-left: 8px;
    margin-right: 8px;
    transition: color 100ms ease-out, background-color 100ms ease-out, border-color 100ms ease-out;
    &:hover {
        color: black;
        background-color: lightgray;
    }
    &.reset {
        border-color: red;
        &:hover {
            color: red;
            background-color: #3e0000;
        }
    }
    &.halt {
        border-color: yellow;
        color: white;
        &:hover {
            color: black;
            background-color: yellow;
        }
    }
    &.done {
        border-color: #00aaff;
        color: white;
        &:hover {
            color: white;
            background-color: #00aaff;
        }
    }
    &.fail {
        border-color: #aa0000;
        color: #aa0000;
        &:hover {
            color: #aa0000;
            background-color: black;
        }
    }
}
:focus {
    outline: 2px orange dashed;
    outline-offset: 2px;
}
::selection {
    background-color: var(--main);
    color: black;
}