a, a:link, a:hover, a:active, a:visited {
	color: #0000ff;
	text-decoration: underline;
}
table.desc {
	width: 800px;
}
table.desc td {
	padding: 5px;
}
td.desc {
	text-align: justify;
}
td.desc h2 {
	font-style: normal;
}
table.code {
	border-collapse: collapse;
}
table.code td {
	margin: 0;
	padding: 0;
}
td.line {
	border-right: 1px solid #000000;
}
div.code {
	font: 10pt "Courier New", Courier, monospace;
	border: double;
	width: 800px;
	height: 600px;
	overflow: auto;
}
div.code-line {
	white-space: pre;
	margin-left: 5px;
	height: 12pt;
}
div.code-line-num {
	color: #800000;
	background-color: #c0c0c0;
	padding-left: 10px;
	padding-right: 5px;
	height: 12pt;
}
div.code-line-comment {
	color: #008000;
	white-space: pre;
	margin-left: 5px;
	height: 12pt;
}
div.code-line-comment a {
	color: #008000;
}
span.comment {
	color: #008000;
}
span.comment a {
	color: #008000;
}
span.comment span {
	color: #008000;
}
span.string {
	color: #ff00ff;
}
span.string a {
	color: #ff00ff;
}
span.string span {
	color: #ff00ff;
}
span.color4 {
	color: #0000ff;
}
span.color3 {
	color: #ff0000;
}
span.color2 {
	color: #800080;
}
span.color7 {
	color: #008080;
}