body {
	background: #FFFFFF;
	lineHeight: 115%
}

blockquote {
	margin-left: 5em;
}

h2 {
	color: IndianRed;
	font-family: Sans-serif
}

h3 {
	color: DarkGoldenrod;
	font-family: Sans-serif
}

ol {
	margin-left: 8ex;
}

p {
	margin-left: 3ex;
}

pre {
	margin-left: 8ex;
	margin-right: 8ex;
	font-size: 85%;
}

blockquote.demo, pre.demo {
	background-color: #FFFAF0;
	line-height: 130%;
	border: 1pt;
	border-style: dotted;
	padding: 1ex;
}

blockquote.demo, pre.code {
	background-color: #EFEAE0;
	line-height: 130%;
	border: 1pt;
	border-style: ridge;
	padding: 1ex;
}

span.tip {
	color: DarkGreen;
	font-weight: bolder;
}

tt {
	font-size: 90%;
	font-weight: bold;
	padding-left: .8ex;
}

ol.exercise {
	margin-left: 5ex;
}

/*
     FILE ARCHIVED ON 09:59:05 Oct 13, 2006 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 19:30:39 Dec 01, 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: 1.143
  exclusion.robots: 0.041
  exclusion.robots.policy: 0.019
  esindex: 0.02
  cdx.remote: 26.374
  LoadShardBlock: 393.944 (3)
  PetaboxLoader3.datanode: 186.591 (4)
  load_resource: 129.44
  PetaboxLoader3.resolve: 34.208
*/