#machineMenu
{
	border-bottom: solid 1px Gray;
	padding-top: 0px;
	padding-bottom:10px;
	margin-bottom: 5px;
	height: 40px;
	color: #000080;
	background-color: #8da3b0;
}

#machineMenu ul
{
}

#machineMenu li
{
	display: inline;
	margin: 0 5px 5px 0;
}


#machineMenu a
{
	color: White;
	font-size: 12px;
}

#machineMenu li a
{
	display:inline;
	font-size: 12px;
	text-decoration: none;
	color: White;
	border-left: solid 1px blue;
	background-color: #8da3b0;
	line-height: 200%;
	padding: 0 0 0 5px;
}

#machineMenu li a:hover
{
	background-color: #aac0cd;
	border-left: solid 1px Yellow;
}