.sidenav { 
	/* Netscape 4, IE 4.x-5.0/Win and other lesser browsers will use this */
	position: absolute; left: 10px; top: 70px; width:125px;
	}

.advert {
	position:absolute; top: 90px; left: 820px;
	}

.content {
	border-top: thin solid gray;
	margin-left:150px;
	width:650px;
	}

body  {
	background-color: #ffffff;
	color: #000000;
	line-height:120%;
	font-family:sans-serif;
	font-size:10pt;
	}

body > div.sidenav {
	/* used by Opera 5+, Netscape6+/Mozilla, Konqueror, Safari, OmniWeb 4.5+, iCab, ICEbrowser */
	position: fixed; 
	} 
	
div.abstract {
	margin-top: 2em;
	margin-left: 2em;
	margin-right: 2em;
	margin-bottom: 2em;
	padding-top: 2em;
	padding-left: 3em;
	padding-right: 3em;
	padding-bottom: 2em;
	}

div.back {
	margin-top: 4em;
	}

div.deflist {
 	margin-top: 1em;
	margin-left: 2em;
	}
	
div.sidetitle {
	margin-top: 0.5em;
	}
 
div.sidelink {
	margin-left: 0.75em;
	}

h2.first {
	background-color: white;
	color: #006400;
	margin-top: .5em;
	margin-bottom: 0em;
	font-size:13pt;
	}
 
h2 {
	background-color: white;
	color: #006400;
	margin-top: 2em;
	margin-bottom: 0em;
	text-align: left;
	font-size:13pt;
	}
 
.level2 {
	margin-top: 1em;
	margin-left: 0.5em;
	margin-bottom: 0em;
	font-size:13pt;
	font-weight:bold;
	}

.level3 {
	font-size:12pt;
	font-weight:bold;
	margin-top: 1em;
	margin-left: 0.5em;
	margin-bottom: 0em;
	}
	
.level4 {
	font-size:11pt;
	font-style:italic;
	font-weight:bold;
	margin-top: 0.5em;
	margin-left: 0.5em;
	margin-bottom: 0em;
	}
	
.level5 {
	font-weight:bold;
	margin-left:1em;
	}
 
li.ul {
	margin-top: -0.25em;
	margin-bottom: -0.25em;
	}
 
p.first {
	margin-top: 0.25em;
	margin-left: 1em;
	}
 
p.h2 {
	text-align:center;
	font-weight:bold;
	font-size:18pt;
	}
	
p {
	margin-left: 1em;
	}
	
pre {
	margin-left:1.5em;
	}
	
td  li.ul {
	margin-top: -0.75em;
	margin-bottom: -0.75em;
	}

td > ul {
	list-style-type:none;
	margin-left:-1em;
	}

td.banner {
	vertical-align:bottom;
	text-align:center;
	}

td.ddef {
	margin-top: 0.25em;
	margin-bottom: 0.25em;
	border-bottom: thin groove;
	font-size: 10pt;
	}

td.dterm {
	vertical-align: top;
	text-align: right;
	border-bottom: thin groove;
	margin-top: 0.25em;
	margin-bottom: 0.25em;
	padding-right: 1em;
	font-weight: bold;
	font-size: 10pt;
	}


/*
     FILE ARCHIVED ON 17:54:40 Oct 16, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 12:42:26 Jul 23, 2026.
     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.527
  exclusion.robots: 0.039
  exclusion.robots.policy: 0.029
  esindex: 0.011
  cdx.remote: 25.209
  LoadShardBlock: 189.711 (3)
  PetaboxLoader3.datanode: 88.965 (4)
  PetaboxLoader3.resolve: 110.297 (2)
  load_resource: 176.518
*/