div.xx {
	width: 700px;
	border: 1px dashed #4B96FD;
	background-position: top right;
	background-color: #eeeeee;	
	padding-right: 12px;	/* 7px hatterkep + 5px */
	padding-left: 10px;	/* (..5) */
	padding-top: 0px;	/* 1px hatterkep + 5px; */
	padding-bottom: 10px;	/* da very own ws-style */
	font-family: Arial;
	font-size: 10pt;
	font-weight: normal; /* bold */
	font-style: normal; /* italic */
	text-decoration: none;
	color:#000000;
}

pre {
	width: 650px;
	border: 1px dashed #4B96FD;
	background-position: top right;
	background-color: #ddeeff;	
	padding-right: 12px;	/* 7px hatterkep + 5px */
	padding-left: 10px;	/* (..5) */
	padding-top: 5px;	/* 1px hatterkep + 5px; */
	padding-bottom: 5px;	/* da very own ws-style */
	font-family: Courier;
	font-size: 8pt;
	font-weight: normal; /* bold */
	font-style: normal; /* italic */
	text-decoration: none;
	color:#000000;
}