@CHARSET "ISO-8859-1";

.code {
	font-family: courier;
	font-size: 6px;	
}
.comments
{
	color:#008F3E;
	text-align: justify;
}

.php_delimiter {
	color:#FF0000;
}

.php_variable
{
	color: #2870FC;
}