/* mainmenu */
#mainmenu a {
	background-image: url('/fileadmin/web/images/navigation/mainmenu-green.en.gif');
}

body.tree_8 #mainmenu a,
body.tree_6 #mainmenu a {
	background-image: url('/fileadmin/web/images/navigation/mainmenu-orange.en.gif');
}

#booking {
	background-image: url('/fileadmin/web/images/booking.button.en.png');
}