/* Workshop Quellcodes */
pre.wsc {
	background-color: #FFFFE6;
	border-top: 0.5pt dashed #9A0202;
	border-left: 0.5pt dashed #9A0202;
	border-right: 0.5pt dashed #9A0202;
	border-bottom: 0.5pt dashed #9A0202;
	color: #000000;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-style: normal;
	font-size: 7pt;
	padding-top: 4px;
	padding-left: 10px;
	padding-right: 10px;
	padding-bottom: 10px;
	text-align: left;
	white-space: pre;
}