dl {
  margin: 10px 10px 10px 0;
  padding: 0;
  font-size: small;
  list-style-type: decimal;
  list-style-position: outside;
}

dt {
  margin: 3px 0 3px 0;
  padding: 0;
}

dd {
  margin: 3px 0 3px 30px;
  padding: 0;
}

.disabled {
  color: gray;
}

div.boxout {
  background-color: #E7DDC9;
  color: #000;
  padding: 8px;
  margin: 8px 10px 8px 0;
}

div.searchbox {
  margin: 8px 10px 8px 0;
}

p.searchlist {
  font-size: x-small;
  margin: 0 0 4px 0;
}

p.resultlist {
  margin: 4px 0 0 0;
}

p.pagelist {
  margin: 0;
}