@charset "utf-8";
.pre {
	background-color: #f3f3f3;
	border: 1px solid #ccc;
	padding: 2px;
	height: auto;
	width: 900px;
	margin-left: 30px;
	font-size: 12px;
	white-space:pre;
}
.color-red {
	color: #F00;
}

body{
	font-size:12px;
	line-height:16px;
}