/*
body
{	
	scrollbar-face-color: #00309C;  //das selbe blau wie bei der navigationsleiste
	scrollbar-highlight-color: #0088EE;   
	scrollbar-arrow-color: #CECBCE;  //Pfeilfarbe (alt: #FFFFFF)
	scrollbar-base-color: #00309C;  //normalerweise: das gleiche wie unter face-color
	scrollbar-3d-light-color: #FFFFFF;  //weiss:#FFFFFF;  schwarz:#00000 
	scrollbar-darkshadow-color: #0044AA;
	scrollbar-shadow-color: #3333CC; 
	scrollbar-track-color: #CECBCE;  //farbe
}
*/
.css_whitebold { font-family: Verdana; font-size: 9pt; line-height: 100%; color: #FFFFFF; 
               font-weight: bold; margin-top: 6; margin-bottom: 6 }
.css_glossarexplanation { font-family: Verdana; font-size: 9pt; line-height: 1.2; margin-left: 50; 
               margin-top: 0; margin-bottom: 0 }
.css_glossardefinition { font-family: Verdana; font-size: 9pt; font-weight: bold; line-height: 1.2; 
               margin-left: 0; margin-top: 0; margin-bottom: 3 }
.css_ten     { font-family: Verdana; font-size: 9pt; margin-top: 0; margin-bottom: 0 }
.css_formular { font-family: Verdana; font-size: 9pt }
.css_einpixel { font-family: Verdana; font-size: 1; margin-top: 0; margin-bottom: 0 }
.css_klein   { font-family: Verdana; font-size: 7; margin-left: 1; margin-top: 0; 
               margin-bottom: 0 }
.css_header2 { font-family: Verdana; font-size: 12pt; color: #00309C; font-weight: bold;
               margin-top: 0; margin-bottom: 3 }
.css_header3 { font-family: Verdana; font-size: 10pt; color: #00309C; font-weight: bold; 
               margin-top: 0; margin-bottom: 3 }
.css_copyright { font-family: Verdana; font-size: 7pt; margin-top:3; margin-bottom:3 }
.css_header1 { font-family: Verdana; font-size: 14pt; color: #00309C; font-weight: bold; 
               line-height: 100%; margin-top: 0; margin-bottom: 3 }
.css_fett   	{ font-family: Verdana; font-size: 9pt; font-weight: bold; margin-top:0; margin-bottom:0; line-height:1.2 }
.css_standard   { font-family: Verdana; font-size: 9pt; line-height:1.2; margin-top:0; margin-bottom:0 }

a:link 		{ color: rgb(0,0,255); }
a:visited 	{ color: rgb(128,0,128); }
a:active 	{ color: rgb(128,0,128); }
a:hover 	{ color: rgb(255,0,0); }