body {
	background-color:#FFFFCC;
	font-family:Verdana, Arial, Helvetica;
	font-size:12px;
	color:#000080;
	}
.a0 {
	background-color:#00FF00;
	}	
.a1 {
	background-color:#FF0000;
	}
.schrift {
	font-size:14px;
	background-color="#E6E6FA";
	}
.code {
	background-color:#FFFFFF;
	border: 1px dashed #000033;
	width: 500px;
	padding: 5px;
	}