#mainNav.navbar-shrink, #mainNav {
    border-color: rgba(34,34,34,.1);
    background-color: rgba(208, 37, 55, 0.75);
}


.lw-badges {
    background: #8a4b9d;
    padding: 22px 10px;
    border-radius: 8px;
}

.lw-badges img {
    max-width: 100%;
}
/*
     FILE ARCHIVED ON 14:54:50 Apr 06, 2022 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 09:07:12 Sep 10, 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.528
  exclusion.robots: 0.053
  exclusion.robots.policy: 0.041
  esindex: 0.007
  cdx.remote: 7.191
  LoadShardBlock: 112.559 (3)
  PetaboxLoader3.datanode: 56.807 (4)
  PetaboxLoader3.resolve: 95.681 (3)
  load_resource: 89.149
*/