.header {
  box-sizing: border-box;
  position: sticky;
  top: 0;
  left: 0;
  width: 100%;
  background: #fff;
  z-index: 3;
}

.header:after {
  clear: both;
  content: " ";
  height: 0;
  display: block;
}


/* search element is about 5px off the edge, so margin-right of 50px compensated to 45px */
.desktop_menu {
  text-align: right;
  margin-top: 25px;
  margin-right: 45px;
  float: right;
}

@media (max-width: 1200px) {
  .desktop_menu {
    display: none;
  }
}

.desktop_menu_link {
  color: inherit;
  font-size: 15px;
  padding: 4px 13px 5px;
  letter-spacing: 0.7px;
  display: inline-block;
  vertical-align: baseline;
  text-decoration: none;
  text-underline-position: under;
}

.desktop_menu_link:hover {
  opacity: 0.6;
}

.desktop_menu_link.active {
  opacity: 0.6;
}

.desktop_menu_link.selected {
  text-decoration: underline;
}

@keyframes notification {
  0% {
    transform: scaleX(1.0);
  }
  100% {
    transform: scaleX(-1.0);
  }
}

.desktop_menu_link.notification:before {
  content: " ";
  width: 9px;
  height: 9px;
  border-radius: 50%;
  background: #000;
  display: inline-block;
  margin-right: 6px;
  transform-origin: center;
}

/*
 * desktop generic margin of 50px
 * margin in logo: 42px
 * logo display height to actual height: 80 / 226 = 35%
 * display margin: 42px * 35% ~= 15px
 * compensated margin: 50 - 15 = 35px
 * */

.header .logo {
  height: 80px;
  width: auto;
  display: block;
  float: left;
  margin-left: 35px;
  box-sizing: border-box;
  padding: 20px;
}

@media (max-width: 1200px) {
  /* generic mobile margin right: 20px. compensated margin: 20px - 15px (see above) = 5px */
  .header .logo {
    margin-left: 5px;
  }
}

/* generic mobile margin right: 20px. compensated margin: 20px - 10px = 10px */
.menu_icon_cont {
  padding: 14px 7px;
  float: right;
  margin: 19px 13px 19px 5px;
  display: none;
}

@media (max-width: 1200px) {
  .menu_icon_cont.active {
    display: block;
  }
}



.menu_icon {
  border-top: 2px solid #000;
  border-bottom: 2px solid #000;
  width: 26px;
  height: 12px;
  box-sizing: border-box;
  display: block;
}


.menu_icon_close {
  float: right;
  margin: 19px 13px 14px 5px;
  width: 40px;
  height: 40px;
  box-sizing: border-box;
  background: url('/static/images/close.png') center/18px no-repeat;
  display: none;
}

.menu_icon_close.active {
  display: block;
}

.menu_icon_close:hover {
  opacity: 0.6;
}





.header .search_icon {
  box-sizing: border-box;
  display: inline-block;
  vertical-align: -7px;
  cursor: pointer;
  padding: 3px;
  width: 30px;
  height: 30px;
}

.header .search_icon:hover {
  opacity: 0.6;
}

.header .search_icon img {
  display: inline-block;
  width: 100%;
  height: 100%;
}

.header .mobile_search_icon {
  display: block;
  float: right;
  margin: 19px 0;
  display: none;
  width: 30px;
  height: 40px;
  padding: 0;
}

@media (max-width: 1200px) {
  .header .mobile_search_icon {
    display: block;
  }
}


.header .logout_icon {
  box-sizing: border-box;
  display: inline-block;
  vertical-align: middle;
  cursor: pointer;
  padding: 2px;
  margin-left: 8px;
  width: 21px;
  height: 21px;
}

.header .logout_icon:hover {
  opacity: 0.6;
}

.header .logout_icon img {
  display: block;
  width: 100%;
  height: 100%;
}

.header .mobile_logout_icon {
  display: block;
  float: right;
  margin: 22px 0 0 10px;
  padding: 5px;
  display: none;
  width: 35px;
  height: 35px;
}

@media (max-width: 1200px) {
  .header .mobile_logout_icon {
    display: block;
  }
}


.mobile_menu {
  display: none;
  background: #fff;
  overflow: auto;
}

.mobile_menu_inner {
  padding: 20px;
  float: right;
  width: 500px;
  max-width: 100%;
  box-sizing: border-box;
}

@media (max-width: 1200px) {
  .mobile_menu.active {
    display: block;
  }
}

.menu_title {
  font-weight: bold;
  font-size: 18px;
  margin-top: 1em;
  text-underline-position: under;
}

.menu_title.selected {
  text-decoration: underline;
}

.mobile_menu a {
  color: inherit;
  text-decoration: none;
  font-weight: bold;
}

.mobile_menu a:hover {
  text-decoration: underline;
}