body {
    font-family: Monospace;
    background: #0f180b;
    background: radial-gradient(circle, rgb(7, 24, 1) 79%, rgb(32, 43, 10) 100%);
    color:aliceblue;
}
nav {
    width:99%;
    height:fit-content;
    padding:0.4em 0.3em 1em 0.3em;
    background: #030502;
    background: radial-gradient(circle, rgb(17, 56, 3) 79%, rgba(55, 70, 27,0) 100%);
    box-shadow: 0em 0.3em rgb(255, 174, 0);
}
div.navbuttons {
}
div.button {
    background-color: rgb(50, 87, 28);
    border-radius: 0em 0.7em 0em 0.7em;
    padding: 0.35em 1em 0.2em 1em;
    width:fit-content;
    height:fit-content;
    justify-content: right;
    float:right;
    margin-left:0.6em;
    box-shadow: 0em 0.2em rgb(255, 212, 120);
    transition: ease-out 0.1s;
}
a.anav {
    color:white;
    text-decoration: none;
}
div.button:hover {
    transform: translateY(2px);
    background-color: rgb(45, 75, 24);
    box-shadow: 0em 0.5em rgb(157, 209, 98);
    color:rgb(255, 248, 224);
}