html {
    font-size: 25px;
    font-family: 'Verdana';
}
button {
    background-color: rgb(255, 255, 255);
    transition: 0.4s;
    padding: 15px 25px;
    font-size: 20px;
    font-family: 'Verdana';
    overflow: hidden;
}
.a:hover {
    background-color: rgb(0, 208, 255);
}
.lvl1 button:hover {
    background-color: rgb(255, 255, 180);
}
.lvl2 button:hover {
    background-color: rgb(255, 247, 0);
}
.lvl3 button:hover {
    background-color: rgb(255, 204, 0);
}
.lvl4 button:hover {
    background-color: rgb(255, 157, 0);
}
.lvl5 button:hover {
    background-color: rgb(255, 98, 0);
}
.lvl6 button:hover {
    background-color: rgb(255, 0, 0);
    color: white;
}
.lvl7 button:hover {
    background-color: rgb(151, 0, 0);
    color: white;
}
.lvl8 button:hover {
    background-color: rgb(0, 0, 0);
    color: white;
}
button.lvl9 {
    animation: lvl9animation 2s infinite;
}
button.lvl9:hover {
    background-color: rgb(230, 230, 230);
}
div.d {
    z-index: 2;
    background-color: white;
    overflow-y: scroll;
    overflow-x: none;
    outline-style: solid;
    position: fixed;
    top: 10px;
    right: 10px;
    padding: 25px 100px 25px 25px;
    height: 500px;
    transition-duration: 0.4s;
}
button.b {
    padding: 10px 50px;
    width: 300px;
}
button.b:hover {
    background-color: rgb(200, 200, 200);
}
button.c {
    height: 30px;
}
#lvl2 {
    visibility: hidden;
}
#lvl3 {
    visibility: hidden;
}
#lvl4 {
    visibility: hidden;
}
#lvl5 {
    visibility: hidden;
}
#lvl6 {
    visibility: hidden;
}
#lvl7 {
    visibility: hidden;
}
#lvl8 {
    visibility: hidden;
}
.lvl9 {
    visibility: hidden;
}
.test {
    background-color: rgb(0, 208, 255);
    visibility: visible;
    visibility: hidden;
}
@keyframes lvl9animation {
    0% {
        color: rgb(255, 0, 0);
    }
    10% {
        color: rgb(255, 128, 0);
    }
    20% {
        color: rgb(255, 255, 0);
    }
    30% {
        color: rgb(128, 255, 0);
    }
    40% {
        color: rgb(0, 255, 0);
    }
    50% {
        color: rgb(0, 255, 128);
    }
    60% {
        color: rgb(0, 255, 255);
    }
    70% {
        color: rgb(0, 128, 255);
    }
    80% {
        color: rgb(0, 0, 255);
    }
    90% {
        color: rgb(128, 0, 255);
    }
    100% {
        color: rgb(255, 0, 128);
    }
}