/*  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 20:45:43 Jan 22, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:17:07 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.573
  exclusion.robots: 0.046
  exclusion.robots.policy: 0.037
  esindex: 0.012
  cdx.remote: 11.706
  LoadShardBlock: 165.995 (3)
  PetaboxLoader3.datanode: 247.22 (5)
  load_resource: 608.37 (2)
  PetaboxLoader3.resolve: 408.271 (2)
*/