nav {
    position: fixed;
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    margin: 0;
    top: 0;
    left: 0;
    width: 100%;
    border-bottom-style: solid;
    border-bottom-width: 1px;
    z-index: 100;
}
#nav-left {
    margin-left: 20px;
    display: flex;
}
#nav-right {
    display: flex;
    flex-grow: 1;
    justify-content: end;
    margin-right: 20px;
}
#nav-right, #nav-left {
}
.nav-button {
    padding: 15px;
    margin: 5px;
    font-size: x-large;
    font-family: Georgia, serif;
    text-align: center;
    color: black;
    text-decoration: none;
}
#nav-right .nav-button {
    border-radius: 10px;
    border-style: solid;
    border-width: 1px;
    border-color: rgba(0,0,0,0)
}
#nav-right .nav-button:hover {
    //border-color: black;
    background-color: rgba(0,0,0,0.1)
}
.nav-button:hover:active {
    color: red;
}
.active {
    font-weight: bold;
}