	<style type="text/css"><!--
	 body { background: white }
	 h3 { margin-left: 1em; bold; }
	 p { margin-left: 3em }
	 div.uservar { font-weight: bold; }
	 div.section { margin-left: 1em; margin-top: 0em; margin-bottom: 0em; }
	 div.sub { margin-left: 1em; margin-top: 0 }
	 div.list { margin-left: 1em }
	 div.fn { margin-left: 1em; margin-top: 0 }
	 div.url { margin-bottom: 0 }
	 div.pic { margin-left: 3em; margin-top: 0em; margin-bottom: 0em }
	 div.outbox { margin-left: 3em; margin-top: 0em; margin-bottom: 0em; border:1px solid gray; padding:5px; }
	 div.inbox { border:1px solid gray; padding:5px; }
	 ul { margin-left: 1em }
	 ol { margin-left: 1em }
	 pre { 
	  white-space:  pre;
	  padding:      0.5em;
	  border-color: #ffeeb0;
	  border-style: outset;
	  border-width: 4px
	 }
	 a.hide:link { color: black; text-decoration: none }
	 span.bold-red { color: red; font-weight: bold }
	 div.bold-red { color: red; font-weight: bold }
	td, th {
	  font-size: 85%;
	}
	--></style>
