code {
  font-family: "Courier New", monospace;
}

code > table {
  line-height: normal;
}

code > table > tbody > tr > td {
  font-family: "Courier New";
  border: none;
}

code > table > tbody > tr > td:nth-child(1) {
  text-align: right;
  padding-right: 4px;
  background-color: #EEEEEE;
  color: #9999EE;
}

code > table > tbody > tr > td:nth-child(2) {
  white-space: pre;
}

code span.Bold {
  font-weight: bold;
}

code span.Italic {
  font-style: italic;
}

code a {
  color: #1364C4;
  text-decoration: underline;
}

code a:not([href]) {
  color: #FF0000;
  text-decoration: none;
}

td.Type {
  text-align: right;
}

code.Block {
  display: block;
  white-space: pre;
  padding: 10px;
  margin: 14px;
  border-style: dashed;
  border-width: 1px;
  border-color: #BBBBBB;
  overflow-x: auto;
}

table.data code.Block {
  height: 12em;
  overflow-y: auto;
  resize: both;
}