body { background: white }
h3 { margin-left: 1em; bold; }
p { text-indent: 1em; }
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:      5px;
	border-style: outset;
	background-color: #fffff0;
	border: 1px solid gray; 
	margin-left: 3em;
}
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%;
}