@charset "UTF-8";
/* CSS Document */
div.codeBox{
	display:block;
	padding:12px 5%;
	margin:12px;
	color:#333333;
	border: 2px solid #666666;
	width:85%;
	margin-right:20px;
	background-color:#F2F1E0;
	font-family:"Courier New", Courier, monospace;
	white-space:nowrap;
	overflow:scroll;
}
.codeBox p{
	margin:0
}
.pre{
	margin:0;
	margin-bottom:12px;
	
}
.code1{
	margin:0;
	white-space:pre;

}
.code2{
	padding-left:32px;
	white-space:pre;
	margin:0;
}
.code3{
	margin:0;
	padding-left:64px;
	white-space:pre;
	
}
.red{
	color:#FF0000
}
.blue{
	color:#0000FF
}
.comment{
	color:#666666;
	font-style:italic;
	padding-left:32px;
	
}
.code{
	font-family:"Courier New", Courier, monospace
};