.styleBlue {
	font-style:normal;
	font-weight:bold;
	font-family: verdana, sans-serif; /*"Trebuchet MS", Arial, Helvetica, sans-serif;*/
	color: #000080;
}

.styleNormalBlue {
	color: #000080;
}

.styleRed
{
	font-style:normal;
	font-weight:bold;
	font-family: verdana, sans-serif; /*"Trebuchet MS", Arial, Helvetica, sans-serif;*/
	color: #FF0000;
}

.styleSourceCodeHeader
{
	border-width: thin;
	border-color: #000000;
	font-style: normal;
	font-weight: normal;
	font-size: 14px;
	font-family: verdana, sans-serif; /*"Trebuchet MS", Arial, Helvetica, sans-serif;*/
	color: #008000;
	background-color: #CCFFCC;
}

.styleMinorComment
{
	font-size:x-small;
	font-style:italic;
}