table {
	font-size: 12pt;
}
body {
	font-family: "Times New Roman", Times, serif;
}

.singleoutline {
	border: 1px black solid;

}
.outline {
	border: 3px double #000000;

}
.top {
	border-top: black 1px solid;
}
.bottom {
	border-bottom: #000000 1px solid;
}
.left {
	border-left: black 1px solid;
}
.right {
	border-right: black 1px solid;
}
.small {
	font-size: 9pt;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
.menuspacer {
	line-height: 3px;
}
.menu {
	font-family: Verdana;
	font-size: 9pt;
	left: 10px;
	overflow: auto;
	position: relative;
	top: -2px;
}