body {
background-color: white;
margin:10px;
}

h1 {
	color: #000000;
	font-size: x-large;
	background-color: #CCCCCC;
	font-weight: bold;

}

h2 {
color: #990000;
font-size: large;
text-decoration:underline;
}

h3 {
color: #000000;
font-size: medium;
font-style: normal;
font-weight: bold;
padding: 0px;
margin: 0px;
/*text-decoration:underline;*/
}

h4 {
color: #000000;
background: #EEEEEE;
font-size: medium;
font-style: normal;
font-weight: normal;
font-family:monospace;
white-space:normal;
line-height: normal;
text-indent: 0px;
vertical-align: baseline;
word-spacing: normal;
padding: 10px;
margin: 0px;
}
/* menu */
.menu {
	width:100%;
	margin:0px 0px 5px;
	padding:0;
	float: left;


}
.menu ul {
	float:left;
	margin:0;
	padding:0px;
	list-style:url(none) none;
	text-align: center;

}

.menu li {
	float:left;
	margin:0;
	padding:0 2px;
	font:normal 10px Arial, Helvetica, sans-serif;
	color:#a6a6a6;
	float:left;
	text-align: center;


}

.menu a {
	float:left;
	font: normal 10px/16px Georgia, "Times New Roman", Times, serif;
	color:#000000;
	margin:2px 5px 2px 0px;
	padding:2px;
	text-decoration:none;
	text-align: center;
}

.menu a:hover { background: #efefef; 
				color:#1d1d1d; 
				border:1px solid #aaaaaa; 
				margin:1px 4px 1px 0px;}

.headertext {
	color: #990000;
	font-size: 26px;
	font-weight: bold;
	font-family: Arial, Helvetica, sans-serif;
}

.headerbar {
	background-color: #E7EBF7;
	height: auto;
	width: 100%;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10pt;
	font-weight: bold;
	text-align: left;
	vertical-align: middle;
	padding-top: 2px;
	padding-bottom: 2px;
}
.footer {
	color: #000000;
	font-size: 10px;
	font-weight: normal;
	font-family: Arial, Helvetica, sans-serif;
	text-align: center;

}
.disclaimer {
	color: #000000;
	font-size: 10px;
	font-weight: normal;
	font-family: Arial, Helvetica, sans-serif;
	text-align: left;

}
pre.codeinput {
color: #000000;
background: #EEEEEE;
font-size: medium;
font-style: normal;
font-weight: normal;
font-family:monospace;
white-space:nowrap;
line-height: normal;
text-indent: 0px;
vertical-align: baseline;
word-spacing: normal;
padding: 10px;
}
@media print {
pre.codeinput {word-wrap:break-word; width:100%;}
} 

span.keyword {color: #0000FF}
span.comment {color: #228B22}
span.string {color: #A020F0}
span.untermstring {color: #B20000}
span.syscmd {color: #B28C00}

pre.codeoutput {
color: #666666;
padding: 10px;
}

pre.error {
color: red;
}

p.footer {
text-align: right;
font-size: xx-small;
font-weight: lighter;
font-style: italic;
color: gray;
}