.header_user_info {
  float: right;
  border-left: 1px solid #515151;
  border-right: 1px solid #515151;
}
.header_user_info a {
  color: white;
  font-weight: bold;
  display: block;
  padding: 8px 9px 11px 8px;
  cursor: pointer;
  line-height: 18px;
}
@media (max-width: 479px) {
  .header_user_info a {
    font-size: 11px;
  }
}
.header_user_info a:hover, .header_user_info a.active {
  background: #2b2b2b;
}

/*
     FILE ARCHIVED ON 13:02:59 Jun 18, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 03:54:15 Jun 11, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.44
  exclusion.robots: 0.067
  exclusion.robots.policy: 0.058
  esindex: 0.006
  cdx.remote: 5.066
  LoadShardBlock: 43.666 (3)
  PetaboxLoader3.datanode: 71.768 (4)
  load_resource: 98.404
  PetaboxLoader3.resolve: 62.559
*/