code{
  font-size: small;
	/*font-family: Lucida Console,monospace;*/
	font-family: Courier New,monospace;
}

code.comment{
	color: #008000;
	font-size: small;
	/*font-weight: normal;*/
}

code.keyword{
	/*font-weight: bolder; bold doesn't work with Lucida Console, only enable with Courier New*/
	color: #0000C0;
	font-size: small;
}

code.parameter{
	color: #800080;
	font-size: small;
	/*font-weight: normal;*/
}

code.preproc{
	color: #004000;
	font-size: small;
	/*font-weight: normal;*/
}

code.quote{
	color: #800000;
	font-size: small;
	/*font-weight: normal;*/
}

code.special{
	color: #FF0000;
	font-size: small;
	/*font-weight: normal;*/
}



.sourcecode{
	border: 1px solid #C0C0C0;
	margin-left: 20px;
	margin-right: 20px;
	padding: 5px 20px;
	white-space: pre;
	background-color: #F5F5F5;
	/*font-family: Lucida Console,monospace;*/
	font-family: Courier New,monospace;
	font-size: small;
	
}



PRE.SourceCode{
	border: 1px solid #C0C0C0;
	margin-left: 20px;
	margin-right: 20px;
	padding: 5px 20px;
	background-color: #F5F5F5;
	/*font-family: Lucida Console,monospace;*/
	font-family: Courier New,monospace;
	color: #000000;
	font-size: small;
}

pre.sourcecode li {
  margin-bottom: -10pt;
}

PRE.SourceCode EM{
	white-space: pre;
	color: #9933CC;
	font-style: normal;
	font-size: small;
}

PRE.SourceCode2{
	border-color: #C0C0C0;
	border-style: outset;
	border-width: medium;
	white-space: pre;
	background-color: #ECFFEC;
	font-size: small;
}
