div.phpcode, pre {
	margin-top: 5px 0px;
}
div.phpcode span.html {
    color: black;	
}

div.phpcode span.comment {
    color: #FF8000;
}

div.phpcode span.default {
    color: #0000BB;
}

div.phpcode span.keyword {
    color: #007700;
}

div.phpcode span.string {
    color: #DD0000;
}