body {
	background-color: #DEDEDE;
	font-family: "Verdana",sans-serif;
	margin:10px 30px 10px 30px;
	font-size: 14pt;
	color: navy;
}
select {
	background-color: #FFFACD;
	font-family: "Verdana",sans-serif;
	font-size=12pt;
}
input {
	background-color: #FFFACD;
	font-family: "Verdana",sans-serif;
	font-size=12pt;
}
.res { font-size:120%;
	color:#990000;
}
.ref { font-size:60%;
       color:#888888;
}
.help { font-size:50%;
	color:#111111;
}