a{
   background-color: transparent;
   color: purple;
   text-decoration: none;
}

a:visited{
   color: purple;
   text-decoration: none;
}

a:hover{
   background-color: #FF5E5E;
   color: black;
   font-style: italic;
}

a.nocolor{
   background-color: transparent;
   color: WindowText;
   text-decoration: none;
}

body{
   background-color: #EFEFEF;
   font-family: "FrutigerNext LT Regular", Verdana, Arial, sans-serif;
}

div.fliesstext{
   width: 65%;
}

div.gesamt{
   background-color: #E2E2E2;
   background-image: url(backg1.gif);
   background-repeat: repeat;
   border: 1.15pt dashed #6E6E6E;
   color: black;
   margin-left: 10%;
   margin-right: 10%;
   padding-bottom: 1%;
   padding-left: 5%;
   padding-right: 2%;
}

div.rabrat{
   background-image: url(rabrat.gif);
   background-position: 75% 0%;
   background-repeat: no-repeat;
   font-family: FedraMono, "Courier New", Courier, monospace;
}

div.rrat{
   background-image: url(rrattrans.gif);
   background-position: 75% 0%;
   background-repeat: no-repeat;
   font-family: FedraMono, "Courier New", Courier, monospace;
}

img{
   margin-bottom: 5%;
   margin-top: 1%;
}

img.border{
   border: 1px dotted black;
   margin-bottom: 1%;
   margin-top: 1%;
}

img.noborder{
   border: none;
   margin-bottom: 1%;
   margin-top: 1%;
}

li p{
   margin-bottom: 0;
   margin-top: 0;
}

p.ann{
   font-size: smaller;
   font-style: italic; /*	text-indent: -1em;*/
   margin-bottom: 2ex;
}

p.rechts{
   font-size: smaller;
   font-style: italic; /*	text-indent: -1em;*/
   margin-bottom: 2ex;
   text-align: right;
}

table {
   font-size: 95%;
}

td{
   padding-bottom: 5px;
   vertical-align: top;
}

td p{
   margin-bottom: 0;
   margin-top: 0;
}

td ul{
   margin-bottom: 0;
   margin-top: 0;
}

.bet{
   font-size: 95%;
   margin-bottom: 1ex;
   margin-top: 0;
}

.hoch{
   font-size: 75%;
   vertical-align: super;
}

.klein{
   font-size: 75%;
   margin-top: 2em;
   padding-top: 0.5%;
}

.navig{
   font-size: 90%;
   padding-bottom: 1em;
   padding-top: 1em;
}

.pub{
   font-size: 95%;
   margin-bottom: 1ex;
   margin-top: 0;
}

.tit{
   font-size: large;
   font-weight: bold;
   margin-bottom: 1ex;
}

.virg{
   font-size: 85%;
}