BODY  {
	font-size : 10pt;
	font-family : Arial;
	font-weight : normal;
	font-style : normal;
	color : #000080;
	font : demo-cd;
	background-color : #FFFFFF;
}

pre.normal  {
	font-size : 10pt;
	font-family : Arial;
	font-weight : normal;
	font-style : normal;
	color : #000080;
}

font.refblau  {
	font-size : 9pt;
	font-family : Arial;
	font-weight : normal;
	font-style : normal;
	color : #000080;
}

font.refblaub  {
	font-size : 12pt;
	font-family : Arial;
	font-weight : bold;
	font-style : normal;
	color : #000080;
}

font.refweiss  {
	font-size : 9pt;
	font-family : Arial;
	font-weight : normal;
	font-style : normal;
	color : #FFFFFF;
}
font.refweissm  {
	font-size : 8pt;
	font-family : Arial;
	font-weight : normal;
	font-style : normal;
	color : #FFFFFF;
}
font.refweissb  {
	font-size : 12pt;
	font-family : Arial;
	font-weight : bold;
	font-style : normal;
	color : #FFFFFF;
}

font.refgruen  {
	font-size : 8pt;
	font-family : Arial;
	font-weight : normal;
	font-style : normal;
	color : #008080;
}

font.normalb  {
	font-size : 9pt;
	font-family : Arial;
	font-style : normal;
	color : #000080;
}

font.normalbsm  {
	font-size : 8pt;
	font-family : Arial;
	font-style : normal;
	color : #000080;
}

font.normalbfett  {
	font-size : 9pt;
	font-family : Arial;
	font-style : normal;
	color : #000080;
	font-weight : bold;
}

font.normalbfett2  {
	font-size : 9pt;
	font-family : Arial;
	font-style : normal;
	color : #000080;
	font-weight : bold;
}

font.normalr  {
	font-size : 10pt;
	font-family : Arial;
	font-style : normal;
	color : #FF0000;
}

font.normalrfett  {
	font-size : 10pt;
	font-family : Arial;
	font-style : normal;
	color : #FF0000;
	font-weight : bold;
}

font.minirot  {
	font-size : 8pt;
	font-family : Arial;
	font-style : normal;
	color : #FF0000;
}

font.miniblau  {
	font-size : 8pt;
	font-family : Arial;
	font-style : normal;
	color : #000080;
}

font.minigrau  {
	font-size : 8pt;
	font-family : Arial;
	font-style : normal;
	color : #5c5c5c;
}

font.bigbfett  {
	font-size : 12pt;
	font-family : Arial;
	font-weight : bold;
	font-style : normal;
	color : #000080;
}