/* Formatierung fuer Stichwortdateien  */
body { background-color: aliceblue; font-size: 11pt; margin-top: 10px;
 margin-bottom: 10px; margin-left: 20px; margin-right: 20px;
 font-family: Verdana, Arial, Tahoma, Helvetica, sans-serif; }
p { font-family: verdana, Arial, Helvetica, sans-serif; font-size: 12pt; }
a { color: midnightblue; font-weight: 900; font-size: 12pt }
a:link { color: #0000A0; }
a:visited { color: firebrick; font-weight: 500; margin-top: 0.4cm; }
a:hover {color: red; font-weight: bold; }
a:hover.zeit { color: red; text-decoration: none; font-size: 9pt; font-weight: bold; }
a:active { color: #0000FF; }
td { padding-left: 2.0mm; font-size: 11pt; font-weight: normal; vertical-align: top; }
.ende { font-size: 10pt; color: #003080; font-weight: bold; }
.anfang { font-size: 10pt; color: #00DF00; font-weight: bold; }
/* Ende CSS für Stichwortdateien  */