.w3c_mainCol ul#menu  {
	width: 100%; 
	height: 43px; 
	background: #FFF url("media/menu-bg.gif") top left repeat-x; 
	font-size: 0.8em; 
	font-family: "Lucida Grande", Verdana, sans-serif; 
	font-weight: bold; 
	list-style-type: none; 
	margin: 0; 
	padding: 0;
}
.w3c_mainCol ul#menu li
{ 
	display: block; 
	float: left; 
	margin: 0 0 0 5px;
	text-decoration: none;
}
.w3c_mainCol ul#menu li a
{
	height: 43px; 
	color: #777; 
	text-decoration: none; 
	display: block; 
	float: left; 
	line-height: 200%; 
	padding: 8px 15px 0;
}
.w3c_mainCol ul#menu li a:hover 
{ 
	color: #000000; 
}
.w3c_mainCol ul#menu li a.current
{ 
	color: #FFF; 
	background: #FFF url("media/current-bg.gif") top left repeat-x; 
	padding: 5px 15px 0; 
}