/*  tab menu with NO javascript */
#no-js-menu {
    border-top: 1px solid #e0e0e0;
    border-bottom: 1px solid #e0e0e0;
    width: 50%;
    margin-top: 25px;
}

#no-js-menu ul li {
    display: inline;
    margin:0;
    color: #666;
}

#no-js-menu ul li.current {
    font-weight: bold;
}

#no-js-menu ul li.current a {
    color: #666;
}

h1 {
    margin-top: 15px;
}
/*
     FILE ARCHIVED ON 04:49:28 Jan 05, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:41:05 Dec 08, 2025.
     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.55
  exclusion.robots: 0.044
  exclusion.robots.policy: 0.034
  esindex: 0.009
  cdx.remote: 8.13
  LoadShardBlock: 145.78 (3)
  PetaboxLoader3.datanode: 148.341 (4)
  PetaboxLoader3.resolve: 52.017 (2)
  load_resource: 139.436
*/