a {
	color: #FFFFFF;
	font-weight: normal;
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}
div.menu {
	background-color: #005555;
}
table.frame {
	border: thin solid #000080;
}
table.menu {
	width: 90%;
	font-weight: bold;
	background-color: #005555;
	color: #FFFFFF;
	font-size: small;
}
table.menuB {
	width: 90%;
	font-weight: bold;
	background-color: #1C3771;
	color: #FFFFFF;
	font-size: small;
}
td.menu {
	text-align: center;
	width: 13%;
	font-weight: normal;
	color: #FFFFA4;
}
td.label {
	vertical-align: top;
	font-weight: bold;
	width:12ex
}
td.labelA {
	vertical-align: top;
	width:11ex
}
td.labelB {
	vertical-align: top;
	width:5ex
}
td{
	vertical-align: top;
}
.styleTitle {
	padding: 10px;
	font-size: x-large;
}
.styleUnderline {
	text-decoration: underline;
}
.styleWarning {
	color: #FF0000;
}
.styleAlink {
	color: #0000FF;
}