body {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 8pt;
   color: #000000;
   background-color: #AFAFAF;
   margin: 8px;
  }

td {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 8pt;
   color: #000000;
  }

#searchbar {
   border: 1px solid;
   border-color: #AFAFAF;
   background-color: #EFEFEF;
   background-image: url(/gfx/searchbar_background.gif);
   background-repeat: repeat-x;
  }

#erweitertesuchmaske {
   display: ;
  }

.small1 {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 7pt;
  }

.smallX {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 1pt;
  }

h1 {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 12pt;
   margin-top: 0px;
   margin-bottom: 0px;
  }

h2 {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 11pt;
   margin-top: 0px;
   margin-bottom: 0px;
  }

h3 {
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 10pt;
   margin-top: 0px;
   margin-bottom: 0px;
  }

img.bookmarkicon {
   position: relative;
   bottom: -4;
  }

.tippfehlerlistbox {
   border: 1px dashed #AFAFAF;
   background-color: #F9F9F9;
}

.tippfehlerlistbox td {
   text-align: justify;
   font-family: verdana,arial,helvetica,sans-serif;
   font-size: 7pt;
   color: #3F3F3F;
   line-height: 12pt;
}

A {
   font-family: verdana,arial,helvetica,sans-serif;
   font-weight: normal;
   color: #0050A0;
   font-weight: none;
   text-decoration: none;
  }

A:hover {
   font-family: verdana,arial,helvetica,sans-serif;
   font-weight: normal;
   color: #FF7F00;
   text-decoration: none;
  }

A.grey {
   font-family: verdana,arial,helvetica,sans-serif;
   font-weight: normal;
   color: #5F5F5F;
   text-decoration: none;
  }

A.grey:hover {
   font-family: verdana,arial,helvetica,sans-serif;
   font-weight: normal;
   color: #AFAFAF;
   text-decoration: none;
  }

A.none {
   font-family: verdana,arial,helvetica,sans-serif;
   font-weight: normal;
   color: #000000;
   text-decoration: none;
  }

A.none:hover {
   font-family: verdana,arial,helvetica,sans-serif;
   font-weight: normal;
   color: #000000;
   text-decoration: none;
  }