BODY { scrollbar-shadow-color: #008000;
       scrollbar-face-color: #88E1A6;
       scrollbar-highlight-color: #008000;
       scrollbar-3dlight-color: #88E1A6;
       scrollbar-darkshadow-color: #004000;
       scrollbar-track-color: #D4F4D4;
       scrollbar-arrow-color: #008000}
                 { font-family: Times New Roman, Verdana, Tahoma; font-size: 12pt }
p                { font-family: Times New Roman, Verdana, Tahoma; font-size: 12pt }
p.satzung        { font-family: Times New Roman, Verdana, Tahoma; text-indent: -15; margin-left: 15; margin-top: 0; font-size:12pt }
p.marken         { font-family: Times New Roman, Verdana, Tahoma; font-weight:bold;  margin-top: 10; margin-bottom: 10; font-size:18pt }
a:link	         { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 12pt }
a:visited        { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 12pt }
a:active         { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 12pt }
a:link.menu	     { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 12pt; text-decoration:underline }
a:visited.menu   { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 12pt; text-decoration:underline }
a:active.menu    { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 12pt; text-decoration:underline }
a:link.top	     { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 10pt; text-decoration:underline }
a:visited.top    { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 10pt; text-decoration:underline }
a:active.top     { color:#000000; font-family: Times New Roman, Times, Times Roman; font-size: 10pt; text-decoration:underline }
h1               { font-family: Times New Roman, Times, Times Roman; font-size: 24pt;  }
h2               { font-family: Times New Roman, Times, Times Roman; font-size: 14pt; font-weight:bold;  margin-top: 20; margin-bottom: 0 }
h3               { font-family: Times New Roman, Times, Times Roman; font-size: 12pt; text-decoration:underline }
table            { font-family: Times New Roman, Times, Times Roman; font-size: 12pt }
hr				 { color:#88E2A5; size=5; width=80% }