/* $Id: search.css,v 1.2 1998/09/16 13:57:27 pallo Exp $ */

.c1 {
  font-size: large;
  font-weight: bold;
  text-decoration: underline;
}

.c2 {
  margin-top: 5px;
  margin-left: 5px;
}

.c3 {
  font-size: large;
  font-weight: bold;
  text-decoration: underline;
  color: #990033
}