body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
td {
	font-size: 83%;
}
th {
	font-size: 83%;
}
h4 {
	font-size: 110%;
	padding-right: 10px;
	padding-left: 10px;
	background-color: #105080;
	padding-top: 1px;
	padding-bottom: 2px;
	color: #FFFFFF;
}
h3 {
	font-size: 135%;
	background-color: #105080;
	color: #FFFFFF;
	padding: 3px 10px 5px;
}
p {
	margin-right: 10px;
	margin-left: 10px;
}
li {
	margin-right: 10px;
	margin-left: 30px;
}
h5 {
	font-size: 100%;
	font-weight: bold;
	text-decoration: underline;
	padding-left: 10px;
}
pre {
	margin-right: 20px;
	margin-left: 20px;
	padding: 5px 10px 5px 10px;
	font-family: Lucida Console, Courier New, Courier, mono;
	font-size: 100%;
	background-color: #FFFFCC;
}

/*
table.fnlist {
	border-width: 1px 1px 1px 1px;
	border-spacing: ;
	border-style: none none none none;
	border-color: #cccccc;
	border-collapse: collapse;
	background-color: white;
}
table.fnlist th {
	border-width: 1px;
	padding: 3px;
	border-style: inset;
	border-color: #cccccc;
	background-color: #cccccc;
}
table.fnlist td {
	border-width: 1px;
	padding: 3px;
	border-style: inset;
	border-color: #cccccc;
	background-color: white;
}2
*/
table.fnlist {
    margin: 20px 20px 20px 20px;

	border-width: 1px 1px 1px 1px;
	border-spacing: 2px;
	border-style: solid solid solid solid;
	border-color: rgb(204, 204, 204) rgb(204, 204, 204) rgb(204, 204, 204) rgb(204, 204, 204);
	// border-color: gray gray gray gray;
	border-collapse: collapse;
	background-color: white;
}
table.fnlist th {
	border-width: 1px 1px 1px 1px;
	padding: 3px 3px 3px 3px;
	border-style: solid solid solid solid;
    border-color: rgb(204, 204, 204) rgb(204, 204, 204) rgb(204, 204, 204) rgb(204, 204, 204);
	// border-color: gray gray gray gray; 
	background-color: rgb(204, 204, 204); // #cccccc; 
	-moz-border-radius: 0px 0px 0px 0px;
}
table.fnlist td {
	border-width: 1px 1px 1px 1px;
	padding: 3px 3px 3px 3px;
	border-style: solid solid solid solid;
	// border-color: gray gray gray gray;
	border-color: rgb(204, 204, 204) rgb(204, 204, 204) rgb(204, 204, 204) rgb(204, 204, 204); 
	background-color: white;
	-moz-border-radius: 0px 0px 0px 0px;
}