body,td,p,li,dd,dt,ul,dl,ol {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
}

.mytextbox {
	BORDER-RIGHT: #999999 1px solid; BORDER-TOP: #999999 1px solid; FONT-SIZE: 11px; BORDER-LEFT: #999999 1px solid; COLOR: #003366; BORDER-BOTTOM: #999999 1px solid; FONT-FAMILY: Verdana, Arial, Helvetica, Sans-serif
}


p {
	margin-top: 5px;
	margin-bottom: 15px;
}

small {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 8pt;
}

big {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	font-size: 12pt;
}

strong {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	font-size: 14pt;
}

h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 15pt;
	font-weight: bold;
	margin-bottom: 5px;
}

h2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14pt;
	font-weight: bold;
	margin-bottom: 5px;
}

h3 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 13pt;
	font-weight: bold;
	margin-bottom: 5px;
}

h4 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-weight: bold;
	margin-bottom: 5px;
}

h5 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11pt;
	font-weight: bold;
	margin-bottom: 5px;
}

h6 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-weight: bold;
	margin-bottom: 5px;
}


code {
	color: #990000;
	font-family: courier new, courier, monospace;
}

A:link {color: #0000cc; text-decoration: none;}
A:visited {color: #0000cc; text-decoration: none;}
A:hover {color: #0000cc; text-decoration: underline;}

.source {border-style: solid; border-width: 1; border-color: #000000; padding: 5px; background-color: #ffffcc}
.output {border-style: solid; border-width: 1; border-color: #000000; padding: 5px; background-color: #cccc99}
.fwx {color: #0000ff}
.comment {color: #999999}