@import url("menu.css");
<<<<<<< menu
a:link {
	font-family: "Trebuchet MS", "Lucida Grande", "Bitstream Vera Sans", Arial, Helvetica, sans-serif;
=======
DIV#menu A:link {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
	height: 22px;
	width: 130px;
	text-decoration: none;
	color: #FFFFFF;
	padding-top: 4px;
	padding-left: 7px;
	font-weight: bold;
	padding-right: 3px;
}
DIV#menu a:visited {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
>>>>>>> 1.3
	color: #FFFFFF;
	text-decoration: none;
	font-size: 75%;
	height: 22px;
	width: 130px;
	padding-top: 4px;
	padding-right: 3px;
	padding-left: 7px;
<<<<<<< menu



=======
	font-weight: bold;
	padding-right: 3px;
>>>>>>> 1.3
}
<<<<<<< menu
a:hover {
=======
DIV#menu a:hover {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
	color: #FFFFFF;
	text-decoration: none;
	background-color: #BABF76;
	padding-top: 4px;
	padding-left: 7px;
	height: 22px;
	width: 130px;
	font-weight: bold;
	padding-right: 3px;
}
DIV#menu a:active {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
>>>>>>> 1.3
	color: #FFFFFF;
	text-decoration: none;
<<<<<<< menu
	background-color: #BABF75;
=======
	background-color: #BABF76;
	height: 22px;
	width: 130px;
	padding-top: 4px;
	padding-left: 7px;
	font-weight: bold;
	padding-right: 3px;
}
DIV#mainmenu A:hover{
	text-decoration: none;
	color: #000000;
	font-size: 11px;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bolder;

}
DIV#mainmenu A:active {
	text-decoration: none;
	color: #990000;
	font-size: 11px;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bolder;
}
DIV#mainmenu A:link {
	text-decoration: none;
	color: #990000;
	font-size: 11px;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bolder;
}
DIV#mainmenu {

	text-decoration: none;
	color: #000000;
	font-size: 11px;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bolder;
}
DIV#mainmenu A:visited {
	text-decoration: none;
	font-size: 11px;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bolder;
	color: #990000;
>>>>>>> 1.3
}