table.page {
      font-size: xx-small;
      border-collapse: collapse;
      font-size: xx-small;
      font-family: verdana, helvetica, arial, sans-serif;
      }
    td.page-off {
      width: 30px;
      text-align: center;
      background-color:  #eeeeff;
      border: 1px solid #666666;
      }
    td.page-on {
      width: 30px;
      text-align: center;
      background-color:  #dddddd;
      border: none;
      }
    td.page-off A:visited {
      width: 30px;
      text-align: center;
      background-color:  #eeeeff;
      color: #333333;      
      text-decoration: none;
      }
    td.page-off A:link {
      width: 30px;
      text-align: center;
      background-color:  #eeeeff;
      color: #333333;      
      text-decoration: none;
      }
    td.page-off A:hover {
      width: 30px;
      text-align: center;
      background-color:  #ccccff;
      color: #000000;      
      text-decoration: none;
      }
    th.search {
    background-color: #1e613c;
    color: f4f4f8;
    font-weight: bold;
    font-size: xx-small;
    border-bottom: 1px solid #666666;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: verdana, arial, helvetica, sans-serif;
    }
  td.search {
    font-weight: normal;
    font-size: xx-small;
    border-bottom: 1px solid #cccccc;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: verdana, arial, helvetica, sans-serif;
    }
  td.search-soft {
    font-weight: normal;
    font-size: xx-small;
    color: 666699;
    border-bottom: 1px solid #cccccc;
    padding-left: 0.5em;
    padding-right: 0.5em;
    font-family: verdana, arial, helvetica, sans-serif;
    }
  tr.event-header {
    background-color: #ccccee;
    color: #000000;
    font-size: xx-small;
    font-family: verdana, arial, helvetica, sans-serif;
    }
  span.search-soft {
    background-color: #f4f4ff;
    font-weight: normal;
    font-size: xx-small;
    color: 666666;
  }
  td.underlined {
    border-bottom: 1px solid #666666;
  }
  div.search-results {
    font-size: xx-small;
    background-color: #bde1db;
    color: #003;
    padding: 0.3em;
    border: 1px solid #1e613c;
    font-family: verdana, arial, helvetica, sans-serif;
  }
  span.dead-link {
    border: 1px solid #444;
    background: #ddd;
    font-size: xx-small;
    padding: 0em 0.2em 0em 0.2em;
    color: #444;
    font-family: verdana, arial, helvetica, sans-serif;
  }