body{
	color: #000000;
	background-color: #B7DBFF;
	background-image: none;
	background-attachment: fixed	
}



.code{
	border:2px solid #000000; color: #000000;
	background-color: #99FF99;
	margin-left: auto;
	margin-right: auto;
	font-family: "Courier New", Courier, mono;
	font-weight: bold; white-space: pre: scroll;
	clip:   rect(   );
	margin-bottom: auto; margin-top: auto;
        white-space: pre
	margin-left: 5%;
	margin-right: 5%;
	padding-top: 10px;
	padding-left: 20px;
	padding-bottom: 10px;
	padding-right: 0px;

		


}


 
ref {
	color: #000000;
	background-color: #9EFF58;
	background-image: url('../images/background.gif');
	background-attachment: fixed	
}


ref.code{
	border:2px solid #000000; color: #008000;
	background-color: #48FFA4;
	margin-left: 5%;
	margin-right: 5%;
	padding-top: 1px;
	padding-left: 2%;
	padding-bottom: 1px;
	padding-right: 1px;
	font-family: "Courier New", Courier, mono;
	font-weight: normal;
	overflow: scroll;
	clip:   rect(   )
}



ref.instruction{
	background-color: #DC143C;
	padding-left: 2em;
	font-size: 1.3em;
	font-weight: bold;
	padding-bottom: 3px;
	padding-right: 2%;
	margin-bottom: 0px;
	margin-top: 0px;
	border-top: 1px black solid;
	border-bottom: 1px black solid;
}


ref.errata{
	color: #FF0000;
	background-color: #DC143C;
	padding-left: 2em;
	font-size: 1.3em;
	font-weight: bold;
	padding-bottom: 3px;
	padding-right: 2%;
	margin-bottom: 0px;
	margin-top: 0px;
	border-top: 1px black solid;
	border-bottom: 1px black solid;
}




h1 {
	border-style:solid;
	border-width:1;
	background-color: #0062C4;
	padding-left: 4;
	font-size: 1.3em;
	font-weight: bold;
	padding-bottom: 1;
	padding-right: 4;
	margin-bottom: 0px;
	margin-top: 0px;
	font-family:Arial;
	padding-top:1;
	color: #FFFF00;
}



h2 {font-size: 1.2em;
font-weight: bold;
background-color: #FFFF77;
padding-left: 4;font-family:Arial; color:#000000; border-top-style:solid; border-top-width:1; border-bottom-style:solid; border-bottom-width:1; padding-right:4; padding-top:1; padding-bottom:1}

h3 {font-size: 1.1em;
font-weight: bold;
margin-left: 2em;}

h4, h5, h6 {margin-left: 2em;}



#navigator {
	text-align: center;
	font-family: "Courier New", Courier, mono;
	width: auto;
	Xwidth: 200px;
	Xfont-size: 16px;
	Xcolor: #99FF00;
	Xbackground-color: #000000;
	Xbackground-color: #7ea8cf;
	Xmargin-top: 100px;
	Xmargin-left: 37.5%;
	Xmargin-right: 37.5%;
	Xpadding: 8px;


}


.housebutton {
	font-weight: bold;
	text-align: center;
	margin-bottom: 3px;
	margin-top: 3px;
	
}


.housebutton a {
	text-decoration: none;
	width: 98%;
	display: block;
	color: #A6F0F9;
	background-color: #0066CC;
	border: 2px solid #000000;
}


.housebutton a:hover {
	background-color: #00FFFF;
	color: #0000FF;
	border: 2px solid #0000FF;

}
.section_title {  font-family: Arial, Helvetica, sans-serif; font-size: 36px; font-style: oblique; font-weight: bold}