.top-menu{
    display: none;
    padding: 10px 16px;
    position: relative;
    float: right;
    -webkit-transition: opacity 0.4s ease-in-out;
    -moz-transition: opacity 0.4s ease-in-out;
    -o-transition: opacity 0.4s ease-in-out;
    transition: opacity 0.4s ease-in-out;
}
.top-menu.hidden{
    opacity: 0;
}

.top-menu-button {
    cursor: pointer;
}

.popup-menu {
    height: 0;
    width: 300px;
    position: fixed;
    z-index: 2;
    top: 0;
    right: 0;
    background-color: rgba(17, 17, 17, 0.88);
    overflow-x: hidden;
    overflow-y: hidden;
    padding-top: 0;
    transition: 0.5s;
    text-align: left;
}

.popup-menu a {
    padding: 4px 4px 4px 32px;
    text-decoration: none;
    font-size: 22px;
    color: #c1c1c1;
    display: block;
    transition: 0.3s;
    cursor: pointer;
}

.popup-menu a:hover {
    color: #f9f9f9;
}

.popup-menu a.highlighted {
    border: solid #309ce1 2px;
    border-radius: 2px;
    padding: 4px 4px 4px 10px;
    margin: 0 40px 0 20px
}


.popup-menu a.close-button {
    position: absolute;
    padding: 0;
    top: 0;
    right: 20px;
    font-size: 36px;
    margin-left: 50px;
}
.popup-menu.unfolded{
    height: 550px;
    padding-top: 60px;
}


a.menu {
    font-size: 13pt;
    color: rgba(0, 0, 0, 0.72);
    cursor: pointer;
    text-decoration: none;
}

a.menu.selected,
a.menu.selected:hover {
    color: #3085c9;
    /*font-weight: bolder;*/
}

a.menu:hover{
    color: #3085c9;
    font-weight: normal;
}

a.menu.small {
    font-size: small;
}

@media screen and (max-height: 450px) {
    .popup-menu {padding-top: 15px;}
    .popup-menu a {font-size: 18px;}
}

@media (max-width: 800px) {
    .top-menu {
        display: block;
    }
}