.mainheader {
    width: 100%;
    height: 100px;
    position: relative;
    display: block;
    background-color: rgb(255, 255, 255);
    border-bottom: 5px solid #003871;
}

.menu {
    margin-top: 10px;
    width: max-content;
    float: right;
    display: block;
}

.menu a {
    color: rgb(0, 0, 0);
    text-decoration: none;
    font-size: x-large;
    padding: 20px;
    position: relative;
    float: left;
    border-left: 1px solid rgb(194, 194, 194);
}

.link:hover {
    background-color: rgb(54, 54, 54);
    color: rgb(255, 255, 255);
} 

.logo {
    margin-left: 10px;
    width: min-content; 
    float: left;
}

.logo img{
    display: block;
    max-width: 160px;
    height: auto;
}

.menu .icon {
    display: none;
}

.bigicon{
    width: auto;
    height: 25px;
}

@media screen and (max-width: 1050px) {
    .menu a {display: none;}
    .menu a.icon {
      float: right;
      display: block;
    }
    /* The "responsive" class is added to the menu with JavaScript when the user clicks on the icon */
    .menu.responsive {  
        background-color: white;
        right: 0;
        position: absolute;
        height: 226px;
        z-index: 999;
    }
    .menu.responsive a.icon {
        position: absolute;
        right: 0;
        top: 0;
    }

    .menu.responsive a {
        top: 90px;
        float: none;
        display: block;
    }
}