body {
  font-family: verdana, sans-serif;
  font-size: 10pt;
}  

a {
  color: blue;
}

td.pager {
  font-size: 8pt;
}

table#resultSet {
  margin-left:20px;
}

#searchform tr td,  #resultSet tr td {
  font-size: 10pt;
}

#resultSet tr.resultRow td {
  padding-top: 10px;
}

#resultSet tr.context td {
  padding-left: 20px;
  font-size: 9pt;
}

td.label {
  width: 90px;
  text-align: right;
  padding-right: 5px;
  color: #666;
}

td#languages div, td#subjects div, td#encoding div, td#fileType div, td#format div, 
td#creationDate div, td#modifiedDate div {
  font-size: 8pt;
  color: #666;
}

label.mainlabel {
 width: 150px;
 float: left;
 text-align: right;
 padding-right: 5px;
 color: #666;
 display: block;
}

legend {
  font-weight: bold;
  color: #666;
}

legend a {
  text-decoration: none;
  color: maroon;
}

legend a .sign {
  font-family: serif;
  text-decoration: none;
}
  
.options {
  font-size: 8pt;
}