/* Generated by F12 developer tools. This might not be an accurate representation of the original source file */
div.menu {
	padding: 4px 0px 4px 8px;
}
div.menu ul {
	list-style: none; margin: 0px; padding: 0px; width: auto;
}
div.menu ul li a {
	padding: 4px 20px; 
	border: 1px solid rgb(78, 102, 125); 
	color: rgb(221, 228, 236); 
	line-height: 1.35em; 
	text-decoration: none; 
	display: block; 
	white-space: nowrap; 
	background-color: rgb(70, 92, 113);
}
div.menu ul li a:visited {
	padding: 4px 20px; border: 1px solid rgb(78, 102, 125); color: rgb(221, 228, 236); line-height: 1.35em; text-decoration: none; display: block; white-space: nowrap; background-color: rgb(70, 92, 113);
}
div.menu ul li a:hover {
	color: rgb(70, 92, 113); text-decoration: none; background-color: rgb(191, 203, 214);
}
div.menu ul li a:active {
	color: rgb(207, 219, 230); text-decoration: none; background-color: rgb(70, 92, 113);
}




div.compactMenu {
	padding: 4px 0px 4px 8px;
}
div.compactMenu ul {
	list-style: none; margin: 0px; padding: 0px; width: auto;
}
div.compactMenu ul li a {
	padding: 4px 20px; 
	border: 1px solid rgb(78, 102, 125); 
	color: rgb(221, 228, 236); 
	line-height: 1.35em; 
	text-decoration: none; 
	display: block; 
	white-space: wrap; 
	background-color: rgb(70, 92, 113);
}
div.compactMenu ul li a:visited {
	padding: 4px 20px; border: 1px solid rgb(78, 102, 125); color: rgb(221, 228, 236); line-height: 1.35em; text-decoration: none; display: block; white-space: nowrap; background-color: rgb(70, 92, 113);
}
div.compactMenuul li a:hover {
	color: rgb(70, 92, 113); text-decoration: none; background-color: rgb(191, 203, 214);
}
div.compactMenu ul li a:active {
	color: rgb(207, 219, 230); text-decoration: none; background-color: rgb(70, 92, 113);
}