@CHARSET "ISO-8859-1";
.code {
	font-family: courier;
	font-size; 10pt;
}