body
  {
    font-size: 16px;
  }

div.section
  {
    font-family: palatino, georgia, times new roman, serif;
    font-size: 90%;
    font-style: italic;
    font-weight: bold;
  }

form.archive
{
 margin-top: 0px;
 margin-left: 0px;
 margin-right: 5px;
 margin-bottom: 5px;
 padding: 0px;
 width: 6.7em;
 cursor: pointer;
 float: left;
}

input.archive
{
 width: 100%;
 font-size: .8em;
}