body {
  background-color: #E6E6E6;
  /*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: 10px;
}

h1 {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 10px;
  color: #999999;
}
.Stil1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 9px;
}

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

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

.menu {

}

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

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

font.warning {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 10px;
  color: #FFFFFF;
  background-color: #999999;
  font-weight: bold;
}