em.engine { font-family: Courier New,monospace; }

pre, div.pre {
  white-space: pre;
  background-color: #FFFFE8; border: 1px solid blue;
  border-left: 3px solid #6666FF;
  padding: 3px;
  margin: .5em 0em;
  overflow: auto;
  font-family: monospace;
  font-size: small;
}

tt.tag { font-weight: bold; }

ul { padding-left: 2em; }

dt {
  font-weight: bold;
  font-size: medium;
  margin-top: .5em;
}

dd { margin-left: 1em; }