div.menu
{
	margin-top: 15px;
	margin-left: 225px;
}

span.menu
{
	padding-right: 10px;
	text-decoration: none;
}

a.menu
{
	font-size: 12px;
	font-weight: bold;
	color: #DD5A00;
	text-decoration: none;
}

a.menu:hover
{
	color: white;
}

div.childmenu
{
	margin-bottom: 10px;
	margin-top: 5px;
	margin-left: 225px;
}

span.childmenu
{
	padding-right: 5px;
}

/* if necessary with another style for the alter menu, set alter_menu as css style in menu table and edit this style */
a.childmenu
{
	font-size: 12px;
	color: #DD5A00;
	font-weight: bold;
	text-decoration: none;
}

a.childmenu:hover
{
	color: white;
}

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

div#usermenu
{
	margin-left: 225px;
	margin-top: 15px;
	margin-bottom: -10px;
}

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

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

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