/*! responsive-nav.js v1.0.20 by @viljamis */

#nav ul {
  margin: 0;
  padding: 0;
  width: 80%;
  display: block;
  list-style: none;
}

#nav li {
  width: 80%;
  display: block;
}

.js #nav {
  clip: rect(0 0 0 0);
  max-height: 0;
  position: absolute;
  display: block;
  overflow: hidden;
  zoom: 1;
}

#nav.opened {
  max-height: 9999px;
  margin-bottom: 200px; 
}


/*
     FILE ARCHIVED ON 03:24:33 Jan 22, 2019 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:42:34 Apr 10, 2022.
     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: 225.263
  exclusion.robots: 0.082
  exclusion.robots.policy: 0.076
  RedisCDXSource: 2.007
  esindex: 0.007
  LoadShardBlock: 206.309 (3)
  PetaboxLoader3.datanode: 286.276 (5)
  CDXLines.iter: 14.89 (3)
  load_resource: 353.78 (2)
  PetaboxLoader3.resolve: 124.997 (2)
*/