a:link, a:visited, a:active {
	text-decoration: none;
	color: #000000;
} a:hover {color: #003399;text-decoration: underline;}
.algorithm {
	font-family: "Courier New", Courier, mono;
	font-size: 14pt;
	font-weight: normal;
	font-variant: normal;
	font-style: normal;
	line-height: normal;
	letter-spacing: normal;
	word-spacing: normal;
	color: #000000;
	
}
.pagetitle
        {
	color: #000000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 36px;
	text-decoration : none;
	font-style: normal;

	}
.pagesubtitle
        {
	color: #000000;
	font-family: Verdana, Arial, Helvetica, Sans-serif;
	font-size: medium;
	text-decoration : none;
	font-style: normal;
	font-weight: bold;

	}
.layerPseudocode {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
	background-color: #FFFFCC;
	border: 2px solid;
}
.MainLayer {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
	border: none;
	color: #000000;
	list-style-type: square;


}
.caption {
	font-size: x-small;
	background-position: center;
	text-align: center;
	font-family: Verdana, Arial, Helvetica, sans-serif;


}
 .link {
	color: #003399;
	font-family: Verdana, Arial, Helvetica, sans-serif;

}
.math {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
	font-style: italic;
}
.emph {
	color: #990000;
}
.pagesubsubtitle {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
}
.emph2 {
	color: #66CC66;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;

}