.border {
	height: 1px;
	width: auto;
	border-top: 1px solid #000066;
	border-right: 1px none #000066;
	border-bottom: 1px solid #000066;
	border-left: 1px none #000066;
}
.halfborder {
	border-top-width: 1px;
	border-right-width: 1px;
	border-bottom-width: 1px;
	border-left-width: 1px;
	border-right-style: solid;
	border-bottom-style: solid;
	border-top-color: #003366;
	border-right-color: #003366;
	border-bottom-color: #003366;
	border-left-color: #003366;
}
.navigation {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: x-small;
	color: #FFFFFF;
}