h1.def{ font-family: "Times New Roman", Times, serif;
color: #000000;
margin-bottom:0px;
line-height: 70%;
}

h3.def{
color: #000000;
margin-bottom:0px;
line-height: 70%;
}

table.def {
 border:none;
 color: #000000;
}
p.def {
text-align: left;
}
a { color: #0B4D8C; text-decoration: none; } /* Alle unbesuchten Links bekommen eine leicht bläuliche Farbe und werden unterstrichen, damit man Sie gleich im Text erkennt. */
a:visited {text-decoration: none;} /* Besuchte Links werden schwarz, bleiben dennoch unterstrichen. Somit erkennt man wo man sich schon befunden hat. */

hr.line {

}