.alert
{
	font-weight:bold;
	font-style:italic;
	color:#961207;
}

span.alert
{
	font-weight:bold;
	font-style:italic;
	color:#961207;
}

.ascode
{
	font-family: 'Courier New', Courier, Fixed, sans-serif;
	font-size:0.9em;
	border:1px solid gray; 
	background-color:#EFEFEF; 
	padding:4px; 
	margin:0px 20px 10px 20px;
	overflow:auto;
}
span.ascode
{ 
	font-family: 'Courier New', Courier, Fixed, sans-serif;
	font-size:0.9em;
	border:1px solid gray; 
	background-color:#EFEFEF; 
	padding:4px; 
	margin:0px 20px 10px 20px;
	overflow:auto;
}