@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;
}
.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;
        }
    }
}
:focus {
    outline: 2px orange dashed;
    outline-offset: 2px;
}
::selection {
    background-color: var(--main);
    color: black;
}