0,255,180);
  font-size: 10pt;
  vertical-align: top;
}
table.grammars td, table.commands td, table.attrs td, table.testlist td {
  /* background-color: rgb(234,255,234); */
  font-size: 10pt;
  vertical-align: top;
}

table.attrs {
  margin-top: 5px;
}

pre.example {
  font-family: "Courier New", monospace;
  white-space: pre;
  background-color: rgb(204,204,255);
  padding: 0.5em;
  border: none;
  border-width: 0;
  margin-left: 0;
  font-size: 100%;
  width: 100%;
}

.testimonial {
  font-style: italic;