.def {
  font-family: monospace;
}

.func {
  color: #800000;
  font-family: monospace;
}

.type {
  color: #600010;
  font-family: monospace;
}

.arg {
  color: #802000;
  font-family: monospace;
}

.special {
  color: #004000;
  font-family: monospace;
}

b.un {
  font-weight: normal;
}