dl.operation dt {
  font-family: "Courier", monospace;
  background: #cfe;
  padding: 5px;
}
dl.operation dd {
  margin-top: -1.8em;
  margin-left: 17em;
  background: #eff;
  padding: 5px;
}