DIV.codebox {
  display: table;
  border: 2px solid #666666;
  padding: 1ex;
  font-family: monospace;
  overflow: visible;
}

PRE {
  margin: 0;
}

DIV.block {
  font-family: monospace;
  white-space: pree;
}
DIV.block DIV.block {
  padding-left: 2em;
}

SPAN.highlighted {
  color: #FF9900;
}

SPAN.comment {
  color: #00CC00;
}