@font-face {
    font-family: "MartionMono";
    src: url(/other/MartianMono-Regular.ttf);
}

/* Settings */

#options {
    margin-top: 5vh;
    text-align: center;
}

button {
    width: 10vw;

    border-width: 1px;
    border-radius: 4px;
    border-color: rgb(60, 60, 60);
    
    background-color: rgb(90, 90, 90);

    transition: background-color linear 0.2s;
}

button:hover {
    border-color: rgb(80, 80, 80);
    background-color: rgb(110, 110, 110);
}

button:disabled {
    border-color: rgb(90, 90, 90);
    background-color: rgb(120, 120, 120);
}

/* Board */

#gameboard {
    font-size: 4vh;
    font-family: monospace;
    white-space: pre;
}