#menu{
    display: block;
    width: 20vw;
    margin: auto;
    margin-top: 5vh;
    background-color: rgb(100, 100, 100);
    border-color: rgb(0, 0, 0);
    border-style: solid;
    border-width: 3px;
    border-radius: 10px;
}

.button{
    display: block;
    min-width: max-content;
    width: 80%;
    padding: 1vh;
    border-radius: 10px;
    margin: auto;
    margin-top: 1vh;
    margin-bottom: 1vh;
    background-color: rgb(230, 230, 230);
    border-color: rgb(0, 0, 0);
    border-style: solid;
    border-width: 3px;
    text-align: center;
    cursor: pointer;
    color: rgb(0, 0, 0);
    font-family: serif;
    font-size: 3vh;
    text-decoration: none;
}

.button:hover{
    background-color: rgb(180, 180, 180);
}
