body {
  background-color: white;
  background-image: url(background.gif);
  background-attachment: fixed;
  /*
  The three lines above could be replaced by this one:
  background: white url(background.gif) fixed;
  */
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 13px;
}

h1 {
 /* color: #afafaf;*/
 color: #336633;
}

td {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
  font-weight: normal;
}

a {
  color: #608080;
  font-weight: bold;
}

.menu {

}

.borderLeftRight {
  border-right: #adadad 1px solid;
  border-left:  #adadad 1px solid;
}
.borderRight {
  border-right: #adadad 1px solid;
  height: 100%;
}

p.pagination {
  font-size: 11px;
}

font.warning {
  color: white;
  background-color: red;
  font-weight: bold;
}