h3 {  background-color: #d0e8d8; background-repeat: no-repeat; text-indent: 4px; background-position: left center; border: dotted; padding-top: 2px; padding-right: 0px; padding-bottom: 2px; padding-left: 0px; margin-right: 0px; margin-left: 0px; margin-top: 8px; margin-bottom: 4px; border-width: 2px 0px; border-color: #b0d0c0 black}
p {  line-height: 120%}
ul {  list-style-image: url(dot-orange.gif)}
a:link {  color: #0000FF}
a:visited {  color: #004080}
ul {  line-height: 120%}
a:hover {  color: #4060ff}
h4 {  font-size: medium}
pre {
	background-color: #e0e0e0;
	color: #2040c0;
	padding-top: 8px;
	padding-right: 10px;
	padding-bottom: 8px;
	padding-left: 10px;
	border: 1px solid;
	border-color: #c0c0c0 #ffffff #ffffff #c0c0c0;
	margin-left: 1em;
}