div.menu
{
	margin-left: 235px;
}

.item
{
	padding-right: 6px;
	text-decoration: none;
}

a.menu_a
{
	font-size: 9px;
	font-weight: bold;
	color: black;
	text-decoration: none;
}

a.menu_a:hover
{
	color: #B8BBA8;
}

div.alter_menu
{
	font-size: 10px;
	font-weight: bold;
	margin-bottom: 8px;
}

span.alter_menu
{
	padding-left: 5px;
	padding-right: 5px;
	border-right: 1px black solid;
}


/*Styles for the usermenu buttons when user is logged on*/

div#usermenu
{
	margin-left: 235px;
	margin-bottom: 5px;
}

span#usermenu
{
	padding-right: 10px;
}

a#usermenu
{
	font-size: 9px;
	font-weight: bold;
	color: gray;
	text-decoration: none;
}


a#usermenu:hover
{
	color: black;
	text-decoration: none;
}