a:link       { color: #339933 }
#.left     {margin-left: 0ex}
#.large     {font-size:120%}
a:visited{
	color: #333399; 
} 
a:active {
	color: rgb(204,153,51);
}
body         { font-family: Arial; background-color: #ffffff; color: #000000; MARGIN-LEFT: 3ex; MARGIN-RIGHT: 5ex; line-height: 140% }
table        { 
	table-border-color-light: rgb(153,204,153); 
	table-border-color-dark: rgb(153,204,153); 
	margin-left: 4ex; 
	margin-right: 1ex; 
	margin-top:0.5ex; 
	margin-bottom:0.5ex; 
}
h1, h2, h3, h4, h5, h6 { font-family: Arial }
h1           { 
	color: #205080; 
	margin-left: 1ex; 
	margin-right: 1ex; 
}
h2           { 
	font-size:150%; 
	color: #205080; 
	margin-left: 1ex; 
	margin-right: 1ex; 
	margin-top:2ex; 
	margin-bottom:0ex; 
}
h3           { 
	font-size:110%; 
	color: #205080; 
	margin-left: 2ex; 
	margin-right: 1ex; 
	margin-top:2ex; 
	margin-bottom:0ex; 
}
h4           { color: #205080; margin-left: 3ex; margin-right: 1ex }
h5           { color: rgb(204,153,51); margin-left: 4ex; margin-right: 1ex }
h6           { color: rgb(153,153,51); margin-left: 5ex; margin-right: 1ex }
p            { text-indent: 0; margin-left: 3ex; margin-right: 1ex;
               margin-top:0.5ex; margin-bottom:0.5ex; line-height=150%}
ul           { margin-left: 8ex; margin-top:0.5ex; margin-bottom:0.5ex }
ol           { margin-left: 8ex }
.script      { font-family: Courier New }
.small       { line-height=50%}

.source    { padding:2ex; background-color: #DBD7BE}
.results   { margin-left: 8ex; padding:2ex}
#p.source   { width:100%; background-color: #FF0000}
textarea.source { margin-left: 8ex }
pre.source { 
	width:80%; 
	margin-left: 8ex;
#	overflow: scroll;
}
span.command { 
#	font-weight: bold; 
	text-decoration: underline;
	color: #004000;
}
div.note { 
	margin-left: 12ex;
	margin-right: 4ex;
	font-size: 80%;
}