body {
	background-color:#FFFFFF;
	font-family:Arial,sans-serif;
	color:#000000;
	font-size:12pt;
	margin-left: 2em;
	margin-right: 2em;
}

a:link {color:#0000ff;text-decoration:none;}
a:visited {color:#999999;text-decoration:none;}
a:hover {color:#ff00ff;text-decoration:none;}
a:active {color:#ff0000;text-decoration:none;}

h1 {
	background : #ffa922; 
	border : 2px solid #888888; 
	color : black; 
	padding-top : 3mm; 
	padding-bottom : 3mm; 
	padding-left : 5mm; 
	padding-right : 5mm; 
	font-size:20pt;
#	font-size: 180%;
	white-space : pre; 
}

h2 {
	background : #fafafa; 
	border : 1px solid #888888; 
	color : #ee6300; 
#	margin-top: 1em;
#	margin-bottom: 1em;
	padding-top : 1mm; 
	padding-bottom : 1mm; 
	padding-left : 3mm; 
	padding-right : 3mm; 
	font-size:16pt;
}

h3 {
	background : transparent;
	color : #ee6300;
	#font-size: 115%;
	font-size:14pt;
}

menue {
	background : transparent;
	color : #000000;
	font-size: 115%;
	font-weight: bold;
}

pre {
	background : #fefefe; 
	border : 1px solid #888888; 
	color : black; 
	margin-left: 3em;
	margin-right: 8em;
	padding-top : 1em; 
	padding-bottom : 1em; 
	padding-left : 3em; 
	padding-right : 2em; 
	white-space : pre; 
	font-family:Fixedsys,Courier,monospace;
	font-size: 105%;
}

presymm {
	background : #fefefe; 
	border : 1px solid #888888; 
	color : black; 
	margin-left: 3em;
	margin-right: 3em;
	padding-top : 1em; 
	padding-bottom : 1em; 
	padding-left : 3em; 
	padding-right : 2em; 
	white-space : presymm; 
	font-family:Fixedsys,Courier,monospace;
	font-size: 95%;
}

list {
	white-space : pre; 
	font-family:Fixedsys,Courier,monospace;font-size: 105%;font-weight: bold;color: #555555;
	#font-style:italic;
}

sup, sub {
	position: relative;
	vertical-align: baseline;
	top: -0.8em;
	font-size: 70%;
}

sub {
	top: 0.6em;
}

.foot   {font-size:65%;}
.klein  {font-size:70%;}