body {  color: #000000; background-color: #FFFFFF}
.php {  font-weight: bold; color: #00CC33}