body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 80%;
	margin: 0px;
	padding: 0px;
}
.menu {
	font-size: 11pt;

	color: #000000;
	text-decoration: none;
}
.divider {
	font-weight: bold;
	padding-right: 5px;
	padding-left: 5px;
}
.menu:hover {

	font-size: 11pt;

	color: #DD3E42;
	text-decoration: none;
}
.secondmenu {
	color: #000000;
	font-size: 9pt;
}
.secondmenu:hover {

	color: #E03A3E;
}
.header {
	font-size: 110%;
	font-family: Arial, Helvetica, sans-serif;

}
.list {
	margin-left: 16px;
	padding-left: 3px;
}
.smaller {
	font-size: 90%;
}
.search {
	height: 18px;
	width: 120px;
}