/* Header Styles */

#header {
    height: 115px;
    float: left;
    width: 100%;
    min-width: 800px;
}

#enterpriseTitle {
    font-size: 18pt;
    margin-top: 1.9em;
    float: left;
    max-width:calc(100% - 570px);
}

#quickLaunchLinks ul li {
    margin-right: 6px;
    float: left;
    font-size: 10pt;
}

#quickLaunchLinks ul li a {
    font-weight: bold;
    padding-left: 0.5em;
}

#quickLaunchIcons ul li {
    margin-right: 1px;
    float: left;
    font-size: 10pt;
}

#quickLaunchIcons ul li a.efiButton {
    height: 40px;
    width: 40px;
    margin: 1px 1px;
    text-align: center;
}

#quickLaunchIcons ul li a.efiButton span {
    padding: 4px;
}

.banner-common {
    font-size: 16pt;
    text-align: center;
    padding: 5px 0;
}

.banner-dev {
    background-color: green;
    color: white;
}

.banner-test {
    background-color: orangered;
    color: black;
}

.banner-interop {
    background-color: royalblue;
    color: black;
}

.banner-sand {
    background-color: limegreen;
    color: black;
}

.notification-set {
    display: inline-block;
}

.notification-set .notification-icon {
    padding: 0!important;
}

.notification-set .badge {
    vertical-align: top;
}

header .banner-common {
    display: none;
}
@media (min-width: 767px) {
    header .banner-common {
        display: inline;
    }
}