/* Give the original company mark more presence without crowding navigation. */
.header .brand{min-width:0;flex:0 1 auto}
.header .brand .original-logo{display:block;width:280px;max-width:100%;height:auto}
@media(max-width:1250px){.header .brand .original-logo{width:260px}}
@media(max-width:1100px){.header .brand .original-logo{width:250px}}
@media(max-width:760px){.header .brand .original-logo{width:min(240px,calc(100vw - 100px))}}