/** for html menu's **/
/*
.menucell{
	color: $menu_text_colour;
	font-size : $menu_font_size;
}

.menulink{
	color: $menu_text_colour;
	font-weight : $menu_font_weight;
	font-size : $menu_font_size;
	font-family: $menu_font_type;

}

a.menulink:link {
	text-decoration: none;
	color: $menu_text_colour;
	font-weight : $menu_font_weight;
	font-size : $menu_font_size;
	font-family: $menu_font_type;
}

a.menulink:visited {
	text-decoration: none;
	color: $menu_text_colour;
	font-weight : $menu_font_weight;
	font-size : $menu_font_size;
	font-family: $menu_font_type;
}

a.menulink:hover {
			text-decoration: none;
		color: $menu_hightlight_colour;
	font-weight : $menu_font_weight;
	font-size : $menu_font_size;
	font-family: $menu_font_type;
}

.menudivider{
	color: $menu_divider_colour;
	font-family: Verdana, Arial, sans-serif;  font-weight: normal;
}

*/