header{
    background: #fff;
    color: white;
    padding-top: 30px;
    min-height: 100px;
    border-bottom: #0083b7 5px solid;
    font-weight: bold;
}
.menu{
    list-style: none;
    position: relative;
    display: block;
    float: left;
}

.flags{
    margin-top: -4px;
}

.menu li a{
    color: #0083bf;
    text-decoration: none;
    padding: 20px 10px;
    display: block;
}
 
header a{
    color: white;
    text-decoration: none;
    text-transform: uppercase;
    font-size: 16px;
}

header li{
    padding: 0 20px 0 20px;
    float: left;
}

header .branding{
    float: left;
    display: flex;
}


header nav{
    float: right;
    margin-top: 10px;
}

header .highlight, header .current a{
    color: #01b7ee;
    font-weight: bold;
}

header a:hover{
    color: #4fe9fa;
    font-weight: bold;
}