body {
   font-family: 'Times New Roman',Times,serif;
   font-size: 14pt;
   font-style: normal; 
   font-weight: normal ; 
 }
 
 
 
 
 
 a:link {
 text-decoration:none;
 font-family: inherit; 
 font-size=14px
}

a:visited {
 text-decoration:none;
 font-family: inherit; 
 font-size=14px
}

table.bordered {
  border-style:solid ;
  border-width:2px ;
  border-color: #993300" ; 
}

table.bordered td {
  padding: 10px;
}

h1 {
  font-size:20.0pt;
  font-family:Georgia,'Times New Roman';
  color:#993300;
  font-style:italic;
  font-weight:bold;
}

table.homelink {
  background: url(images/banner.gif) repeat-x;
  width:105%;
  position: absolute 0px 0px ; 
  height:80px; 
  margin: -8px -8px;
}

.homelink a {
  font-size:24.0pt;
  font-family:Georgia,'Times New Roman';
  color:#331100;
  font-style:italic;
  font-weight:bold;
}

/********************************/
a.menubutton {
 display:block; 
 text-align: center;
 font-weight:bold;
 font-size:10pt;
 border-style:solid;
 border-width:0px;
 /*padding-bottom statt height -> für Netscape und IE nicht gleich 
  Es gibt kein valign, zum Zentrieren padding benutzen */
 padding-top: 1pt; /* Es gibt kein valign, zum Zentrieren padding benutzen */
 padding-left: 1pt;
 padding-right: 1pt;
 padding-bottom: 1pt;
 margin: 2pt 0pt; 
 background-color:#993300;
 color: #F0F0F0; 
 width:100%;  
}

a.menubutton:link {
 color: #F0F0F0;
 border-color:#993300;
 background-color: #993300;
}

a.menubutton:visited {
 color: #F0F0F0;
 border-color:#993300;
 background-color: #993300;
}

a.menubutton:active {
 color: #F0F0F0;
 border-color:#993300;
 background-color: #993300;
}

/* Button state über */
a.menubutton:hover {
 color: #F0F0F0;
 border-color:#FF0000;
  background-color:#FF0000;
}