/*
     
*/
/* CSS Document */
pre {
	border:2px dashed #C75D19;
	color:#009AA5;
	display:block;
	float:none;
	overflow:auto;
	padding:10px 3px;
	height:auto;
	font-weight:bold;
	
	width: 615px;
}