#functions dt {
  font-family: "Courier", monospace;
  padding-left: 5px;
  background: #fec;
  margin: 0;
}

#functions dd {
  font-family: "Courier", monospace;
  margin: -1.2em 0 5px 35em;
  padding-left: 1em;
  background: #efe;
}

#functions dd.row2 {
  margin-top: -2.4em;
  height: 2.4em;
}
#functions dd.row3 {
  margin-top: -3.6em;
  height: 3.6em;
}
#functions dd.row4 {
  margin-top: -4.8em;
  height: 4.8em;
}
#functions dd.row5 {
  margin-top: -6em;
  height: 6em;
}
#functions dd.row6 {
  margin-top: -7.2em;
  height: 7.2em;
}
#functions dd.row27 {
  margin-top: -32.4em;
  height: 32.4em;
}

#functions .ulong  { color: #00f; }
#functions .slong  { color: #00f; }
#functions .uint   { color: #00f; }
#functions .int    { color: #00f; }
#functions .mpz    { color: #00f; }
#functions .char   { color: #00f; }
#functions .size   { color: #00f; }
#functions .double { color: #00f; }
#functions .void   { color: #00f; }