PRE { 
  color: #FF9;
  font-weight: bold;
  font-family: "Courier New", courier, monospace;
  font-size: 80%;
}

.default {
  color: #AFA;
}

.change {
  color: #FAA;
}