.menu
{
	background:url("../res/menu.png") no-repeat #1e7099;
	background-position:0px -70px;
	float:left;
	border:solid #135;
	border-width:1px 0px;
	width:100%;
}

.menu ul
{
	font-size:85%;
	list-style:none;
	margin:0px;
	padding:0px 20px;
}

.menu li
{
	background-image:none;
	line-height:normal;
	text-indent:0px;
	float:left;
	margin:0px;
	padding:0px;
}

.menu a
{
	display:block;
	border:solid #135;
	border-width:0px 1px 0px 0px;
	color:#7ac;
	text-decoration:none;
	white-space:nowrap;
	padding:5px 10px 6px;
}

* html .menu a
{
	width:1%;
}

.menu a:hover
{
	background:url("../res/menuhover.gif") no-repeat #123;
	text-decoration:none;
	color:white;
}

.menu #current a
{
	background:url("../res/menuselect.gif") no-repeat #246;
}