.mainMenu {
	width: 400px;
	color: #000000;
	padding: 4px;
	display: inline;
	margin: 2px;
	font-family: "Times New Roman", Times, serif;
	list-style-type: none;
}


/* What the background of a menu entry should look like normally. */
.mainMenu LI {
	border: solid 1px #FFFFCC;
	padding-top:0px;
	padding-bottom:0px;
	cursor: pointer;
	width: 90%;

}

/* What the text of a menu entry should look like normally. */
.mainMenu A {
	color: #0000FF;
	text-decoration: none;
	margin-left: 8px;
	font-weight: 110%;
}


/* What the background of a menu entry should look like when the mouse is hovered over it. */
.mainMenu .hoveredLi {
	background-color: #002222;
	border: solid 1px #00FFCC;
}


/* What the text of a menu entry should look like when the mouse is hovered over it. */
.mainMenu .hoveredLi A {
	color: #00FFCC;
	text-decoration: none;
}




/* What the menu separator looks like. */
.mainMenu .menuSeparator {
	padding-top: 4px;
	padding-bottom: 4px;
	font-weight:bold;
	cursor: default;
	padding-left: 2px;
}