body {
	background-color: #AAAAFF;
	color: #000000;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9pt;
}
table {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9pt;
}
h1 {
	font-size: 20px;
}
a {
	text-decoration: none;
	color: #00008B;
	font-weight: bold;
}
a1 {
	text-decoration: none;
	font-size: 18px;
	color: #5666F8;
	font-weight: bold;
}
a:hover {
	color: #5666F8;
}
h2 {
	font-size: 14px;
}
h3 {
	font-size: 12px;
}
.titlenode {
	color: #00BF00;
}
.super {
	font-size: 9px;
	vertical-align: super;
}
.underlined {
	border-bottom-style: dotted;
	border-bottom-width: 1px;

}