/* PHP */

.sh_php_special {
	font-weight: bold;
}
.sh_php_defined {
	font-weight: bold;
}
.sh_php_string {
	color: #dd0000;
}
.sh_php_function {
	color: #000080;
}
.sh_php_varible {
	color: #5555ff;
}
.sh_php_loop {
	color: #a1a100;
}
.sh_php_number {
	color: #0000ff;
}
.sh_php_doc_comment {
	color: #0000ff;
}