ul.inline { list-style-type: none }

ul.inline li { display: inline; margin-right: 1em }

dd ul.inline { padding-left: 0; margin-bottom: 0 }

ol.types {
  padding: 0;
}

ol.types, ol.types ol {
  margin: 0;
  list-style-type: none;
}

div.constraint {
  font-size: 73.3%;
  margin-left: 1em;
  color: #777777;
}

.sidebox-wrapper { float: right }

.sidebox {
  margin: 0 0 .5em 1em;
  padding: .5em .5em 1em .5em;
  width: 24em;
  border: none;
  background: #F1F1F1;
}

.tree {
  text-align: center;
}

/*
     FILE ARCHIVED ON 16:28:51 Sep 25, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:44:37 Dec 07, 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.76
  exclusion.robots: 0.084
  exclusion.robots.policy: 0.072
  esindex: 0.011
  cdx.remote: 13.335
  LoadShardBlock: 190.664 (3)
  PetaboxLoader3.resolve: 441.967 (5)
  PetaboxLoader3.datanode: 160.482 (5)
  load_resource: 554.57 (2)
*/