.menu_background {
	background-image: url('../images/menu.jpg');
}

.menu_colors {
	background-color: #EFEFEF;
	border-color: #9B9B9B;
}

#menu .top-left,#menu .top-right,#menu .bottom-left,#menu .bottom-right { 
	height: 8px;
	width: 8px;       
	font-size: 2px;    /* DNC: correction IE for height of the <div>'s */
	}

#menu .bottom,#menu .top {
	height: 7px;
	margin-right: 8px;
	margin-left: 8px;
	font-size: 2px;
	background-image: none;
}


#menu .top {
	border-top: 1px solid;
	border-color: #9B9B9B;
	margin-top: -8px;	
}

#menu .top-right {
	background-position: 100% 0;    /* DNC: position right corner at right side, no vertical changes */
	margin-left: auto;
	margin-right: 0px;
	margin-top: -8px;
	}


#menu .bottom-left  { 
	background-position: 0 -8px;
	}
	
#menu .bottom {
	border-bottom: 1px solid;
	border-color: #9B9B9B;
	margin-top: -8px;
}

#menu .bottom-right { 
	background-position: 100% -8px;
	margin-right: 0px;
	margin-left: auto;
	margin-top: -8px;
}