@charset "utf-8";
body {
	font-family: Arial, Helvetica, sans-serif;
	background-color: #CCCCCC;
}
textarea {
	font-family: Arial, Helvetica, sans-serif;
	color: #003366;
	background-color: #FFCCCC;
}
.law2257 {
	font-family: "Times New Roman", Times, serif;
	font-size: x-small;
}
.allborder {
	border: thin solid #006600;
	background-image: url(images/bg.jpg);
	background-repeat: repeat-x;
	background-position: right top;
}