.desc {
  font-family: serif, Times, Verdana}

.name {
  font-family: monospace, Courier}

.note {
  font-size: smaller}

.seq {
  font-family: courier,monospace}

.info {
  font-style: italic}

.small {
  font-size: 10pt}

body {
  background-color:#EEEEEE;
  font-family: arial, helvetica, sans-serif}

pre {
  font-size: 8pt;
  font-family: courier,monospace}

th {
  font-weight: normal}

table.border {
  border-style: solid;
  border-collapse: collapse;
  border-color: #AAA;
  border-width: 2px}