table.types {
  background-color: #ffcccc;
  border: solid medium black;
  float: right;
}

.types tr {
  border: solid thin black;
}

td.var {
  font-family: sans-serif;
  text-align: right;
}

td.type {
  text-align: left;
}

pre {
  overflow: auto;
  background-color: #e4f0e4;
  border-top:  1px #d0d0d0 solid;
  border-left: 1px #d0d0d0 solid;
  padding: .6em 0;
  width: 75%;
}