/* Common properties: */
.navbar-inner {
    background-color: #000c40; /* header color */
}
.intranetextra-link {
    color: #aaa !important; /* header icon color */
}
