body {
	background-color: #EAEFF4;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #000033;
	font-size: 12px;
	line-height: 18px;


}
h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-weight: bold;
	color: #006699;
}
.butt {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	color: #000033;
	border: 1px solid #000033;
	background-color: #FFFFFF;
	padding-right: 2px;
	padding-left: 2px;



}
pre {
	font-family: "Courier New", Courier, mono;
	line-height: 24px;
	color: #000000;
	background-color: #FFFFFF;
	font-size: 12px;
	width: 533px;
	padding-left: 7px;




}