/* GENERAL STYLES */
#div_bg_menu, #t_menu { background: #4A627C url(/media/332/menu_bg.jpg) repeat-x; }

.topmenupunkt:hover, .topmenupunktright:hover, .curtopmenupunkt { 
	background: url(/media/3223/menu_hover_bg.jpg) repeat-x; 
	border-right: solid 1px #28679d;
}

/* EDITOR PROPERTIES */