body    {
        font-size: 76%;
        position:relative;
        margin-left: auto;
        margin-right: auto; 
        max-width: 650px;  
	font-family: palatino, serif;
        background-color:#FFFFFF;
	}
hr { 
        margin: 6px;
        padding: 0px;
        border-top: 1px solid;
        border-bottom: 1px solid;
        border-left: 0px;
        border-right: 0px;
        height: 0px;    
        color: black;
        background-color: black;
        }

  h1 {
        text-align: center;
        margin-top: 0.5em;
        margin-bottom: 0.2em;
        padding-top: 0em;
        padding-bottom: 0em;
        font-size: 2.4em;
        }

  h2 {
        text-align: center;
        margin-top: 0.5em;
        margin-bottom: 0.5em;
        padding-top: 0em;
        padding-bottom: 0em;
        font-size: 2.0em;
        }

  h3 {
        margin-top: 1.0em;
	margin-bottom: 0.2em;
        font-size: 1.7em;
	}

  h4 {
        margin-top: 1.0em;
	margin-bottom: 0.2em;
        font-size: 1.4em;
	}

  .navarrow {
        text-align: center;
        margin-bottom: 1.0em;
        }

  sup {
        font-size: 75%;
        vertical-align: 0.8ex;
        }
  sub {
        font-size: 75%;
        vertical-align: -0.6ex;
        }

  p {
	margin-top: 0in; 
	margin-bottom: 0in; 
	text-indent: 1.5em;
        font-size: 1.2em;
        line-height: 1.3em;
	}
  .noindent {
	margin-top: 0in; 
	margin-bottom: 0in; 
	text-indent: 0em;
	}
  .equation {
	font-family: monospace; 
	text-align: center; 
	margin-top: 1.0em; 
	margin-bottom: 1.0em;
	}
  .reference {
	padding-left:1.5em; 
	text-indent: -1.5em; 
	margin-top: 0.3em;
	} 
  .question {
	margin-top: 1em; 
	}

  pre {
        padding-left: 2em;
        margin-top: 0em;
        margin-bottom: 0em;
        font-size: 1.3em;
        }

  ol, ul   {
       font-size: 1.2em;
       }

  table {
	border-spacing: 0em;  
	border-width: 3px; 
	border-style: solid none solid none; 
	margin-left: 0em;
	margin-top: 1.4em; 
	margin-bottom: 1.4em;
        font-size: 1.2em;
        caption-side: top;
	}
  caption {
        border-width: 0px;
        text-align: left;
        margin: 0 0 0 0;
        }
  th {
	border-width: 1px; 
	border-style: none none solid none; 
	text-align: center; 
        vertical-align: bottom;
	padding: 1px 5px 1px 5px;
	}
  td {
	padding: 1px 5px 1px 5px;
	border-width: 1px; 
	border-style:  solid none none none;
	}
  .centered-table {
	margin-left: auto; 
	margin-right: auto;
	}
  .right-table {
        float:right;
	}
  .left-table {
        float:left;
	}


  img {
	padding-bottom: 0px;
	}

 .floatleft {
	float:left;
        margin-top: 12px;
        margin-bottom: 12px; 
	border-spacing: 0px; 
	border-style: none none none none; 
        padding: 8px 8px 8px 8px;
	}
 .floatleft td {
	border-style: none none none none; 
	padding: 4px 0px 4px 0px;
        margin: 0 0 0 0;
        font-size: 0.8em;
        text-align: center;
        vertical-align: middle;
        }

 .floatleftnoprint {
	float:left;
        margin-top: 12px;
        margin-bottom: 12px; 
	border-spacing: 0px; 
	border-style: none none none none; 
        padding: 8px 8px 8px 8px;
	}
 .floatleftnoprint td {
	border-style: none none none none; 
	padding: 4px 0px 4px 0px;
        margin: 0 0 0 0;
        font-size: 0.8em;
        text-align: center;
        vertical-align: middle;
        }

 .floatright {
	float:right;
        margin-top: 12px;
        margin-bottom: 12px;
	border-spacing: 0px; 
	border-style: none none none none; 
	padding: 8px 8px 8px 8px; 
	}
 .floatright td {
	border-style: none none none none; 
	padding: 4px 0px 4px 0px;
        margin: 0 0 0 0;
        font-size: 0.8em;
        text-align: center;
        vertical-align: middle;
        }

 .floatrightnoprint {
	float:right;
        margin-top: 12px;
        margin-bottom: 12px;
	border-spacing: 0px; 
	border-style: none none none none; 
	padding: 8px 8px 8px 8px; 
	}
 .floatrightnoprint td {
	border-style: none none none none; 
	padding: 4px 0px 4px 0px;
        margin: 0 0 0 0;
        font-size: 0.8em;
        text-align: center;
        vertical-align: middle;
        }

 .centered-figure {
        margin-left: auto;
        margin-right: auto;
        margin-top: 12px;
        margin-bottom: 12px;
	border-spacing: 0px; 
        border-width: 0px;
	border-style: none none none none; 
	padding: 8px 8px 0px 8px;
	}
 .centered-figure td {
	border-style: none none none none; 
	padding: 4px 0px 4px 0px;
        margin: 0 0 0 0;
        font-size: 0.8em;
        text-align: center;
        vertical-align: middle;
        }

 .centered-figurenoprint {
        margin-left: auto;
        margin-right: auto;
        margin-top: 12px;
        margin-bottom: 12px;
	border-spacing: 0px; 
        border-width: 0px;
	border-style: none none none none; 
	padding: 8px 8px 0px 8px;
	}
 .centered-figurenoprint td {
	border-style: none none none none; 
	padding: 4px 0px 4px 0px;
        margin: 0 0 0 0;
        font-size: 0.8em;
        text-align: center;
        vertical-align: middle;
        }




/*
     FILE ARCHIVED ON 13:44:58 Mar 13, 2014 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:10:15 Oct 06, 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.891
  exclusion.robots: 0.02
  exclusion.robots.policy: 0.009
  esindex: 0.009
  cdx.remote: 12.01
  LoadShardBlock: 178.976 (3)
  PetaboxLoader3.datanode: 232.416 (5)
  PetaboxLoader3.resolve: 747.327 (3)
  load_resource: 863.352 (2)
*/