pre {
  color: #000000;
  font-size: 16px;
  font-family: "Courier New";
  line-height: 19px;
  background: repeating-linear-gradient(
  to bottom,
  #dcffdc,
  #dcffdc 19px,
  #ffffff 19px,
  #ffffff 38px);
  border: 1px dashed #777777;
  padding: 2 0 0 10;
}
pre.frame {
  background: #f6f6cc;
  padding: 3px;
}
hh {
  font-size: 22;
  color: #000000;
  background-color: #eeeeee;
  border: 1px solid #dddddd;
  display: block;
  padding: 2 0 2 5;
}
hl {
  background-color: #ffaaaa;
}
cmt {
  color: #0000FF;
}