@charset "utf-8";
body {
	font-family: Arial, Helvetica, sans-serif;
	background-color: #FFFFCC;
}
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 #FF0000;
	background-image: url(images/bg.jpg);
	background-repeat: no-repeat;
	background-position: right top;
}