.S0 {
	font-family: 'Times New Roman';
	color: #000000;

	font-size: 11pt;
}
.S1 {
	color: #000080;

}
.S3 {
	color: #008080;

}
.S6 {
	color: #7F007F;

}
.S8 {
	color: #800080;

}
.S9 {
	color: #808000;

}
.S21 {
	color: #000080;

}
.S22 {
	font-weight: bold;
	color: #000080;

}
.S23 {
	color: #006600;

}
.S24 {
	color: #800000;

}
span {
	font-family: 'Verdana';
	color: #000000;

	font-size: 10pt;
}


.code{
    padding:0.5em;
    border:solid;
    border-width:1px;
    margin-left:1em;
    margin-top:2em;
    margin-bottom:1em;
}