body {
	font-family: Veranda,"Comic Sans MS", arial, geneva, helvetica, sans-serif;
	font-size: 80%;
	color: rgb(55,55,110);
	margin-top: 0px;
}
a {
	text-decoration: underline;
	font-style: italic;
}
h1,h2,h3 {
	margin-top: 5px;
	margin-bottom: 5px;
	padding: 0px;
}
p,h4,h5,h6,li {
	margin-top: 15px;
	margin-bottom: 5px;
	padding: 0px;
}
img {
	border-width: 0px;
}
li.tighter {
    margin-top: 5px;
    margin-bottom: 5px;
	padding: 0px;
}
/* these styles are used in the top-bar menu of every page */
.menus1 {
	white-space: normal;
	white-space:nowrap;
	border:1px solid #000080;
	color:#000080;
}
.menus1p {
	white-space: normal;
	white-space:nowrap;
	border:none;
	font-family: Verdana,Tahoma,Arial;
	font-size: 100%;
	font-style: normal;
	white-space: nowrap;
	border: none;
	text-decoration: none;
	color: #000080;
	margin-left: 3px;
	margin-right: 3px;
}
a.menus2 {
	font-family: Verdana,Tahoma,Arial;
	font-size: 100%;
	font-style: normal;
	white-space: nowrap;
	border: none;
	text-decoration: none;
	color: #000080;
	margin-left: 3px;
	margin-right: 3px;
}
.menus3 {
	margin: 0px;
	border-width: 1px;
	background-color: #FFFFFF;
}

a.menus2s {
	font-family: Verdana,Tahoma,Arial;
	font-size: 80%;
	font-style: normal;
	white-space: nowrap;
	border: none;
	text-decoration: none;
	color: #000080;
	margin-left: 3px;
	margin-right: 3px;
}