pre {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	margin: 0px;
}
.ST0 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 15px;
	font-weight: bold;
	margin: 0px;
}
.ST1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style: italic;
	font-weight: bold;
	margin: 0px;
}
.ST2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style: italic;
	margin: 0px;
}
.ST3 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	font-style: italic;
	color: #009900;
	margin: 0px;
}
.ST4 {
	color: #009900; 
	background-color: #dfdfdf; 
	font-family: sans-serif; 
	font-style: italic;
}
.ST5 {
	color: #ce7b00; 
	background-color: #dfdfdf;
}
.ST6 {
	font-family: sans-serif; 
	font-weight: bold; 
	font-style: italic;
}
.ST7 {
	font-family: sans-serif;
	font-style: italic;
}
.ST8 {
	color: #009900; 
	font-family: sans-serif; 
	font-style: italic;
}
.comment {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	color: #969696;
	margin: 0px;
}
.literal {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	color: #0000e6;
	margin: 0px;
}
.string {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12pt;
	color: #ce7b00;
}
.guarded {background-color: #dfdfdf}