code.php {
  margin:           0;
}

code.php pre {
  margin:           0.5em;
}

code.php .tag {
  color:            rgb(140, 80, 240);
  font-weight:      bold;
}

code.php .comment {
  color:            rgb(79, 122, 40);
}

code.php .keyword {
  color:            rgb(94, 48, 235);
  font-weight:      bold;
}

code.php .number {
  color:            rgb(131, 17, 0);
}

code.php .string {
  color:            rgb(0, 140, 180);
}

code.php .variable {
  color:            rgb(220, 124, 0);
}