/* STYLES FOR HTML Topmenu */
	#topmenu_htmlalt {
		width:1000px; 
		height:51px;
		text-align:left; 
		background-color:#CCCCCC; 
		background-image:url(../img/topmenu_alt_bg.gif); 
		background-repeat:no-repeat;
		padding-top:115px
	}
	
	#topmenu_htmlalt #invisiblelogo {
		width:338px; 
		height:33px;
		float:left;
	}
	
	#topmenuhtml {
		width:608px;
		height:33px; 
		background-color:#FFFFFF;
		float:left; 
		padding-left:10px;
	}
	
	#topmenuhtml DIV {
		font-family:  Arial, Helvetica, sans-serif;
		font-weight:bold; 
		font-size: 11px;
		float:left;
		padding-top:7px;
		padding-left:7px;
		padding-right:7px;
		height:19px;
		border-style: solid;
		border-color: #f77f00;
		border-width: 0px 0px 7px 0px;
	}
	
	#topmenuhtml A {
		color:#666666;
		text-decoration:none;
	}
	
	#topmenuhtml .red { border-color: #ef2b2d; margin: 0; text-transform: uppercase; }
	#topmenuhtml .red A:hover { color: #ef2b2d; }
	
	#topmenuhtml .orange { border-color: #f77f00; margin: 0; text-transform: uppercase;  }
	#topmenuhtml .orange A:hover { color: #f77f00; }
	
	#topmenuhtml .green { border-color: #8cd600; margin: 0; text-transform: uppercase;  }
	#topmenuhtml .green A:hover { color: #8cd600; }
	
	#topmenuhtml .blue { border-color: #00a3dd; margin: 0; text-transform: uppercase;  }
	#topmenuhtml .blue A:hover { color: #00a3dd; }
	
	/* END OF STYLES FOR HTML Topmenu */