@charset "utf-8";
.code {
	font-family: "Courier New", Courier, monospace;
	font-size: medium;
}
.blau {
	color: #009;
}
.rot{color:#F00;
}
.gruen{color:#090;
}
.violett{color:#F0F;
}