.nobr { white-space: nowrap; }

#menu { width: 908px; height: 62px; background: url('/web/20080917105149oe_/http://www.wolfram.com/images/images2008/backgroundbar-red.gif') no-repeat; margin: 0 0 0 -1px; padding: 0; border: 1px solid #fff; }
	#menu table { margin: 12px 0 0 20px; }
	#menu td { padding-top: 7px; }

.itemborder { border-bottom: 1px solid #999; }

/* * * for droppy.js to work: * * */
/* Basic code - don't modify */
#nav { display: block; margin: 1px 0 0 0; padding: 0; position: relative;
	/*  FF */ margin-top: 1px !important;
	/* IE6 */ margin-top: 0; }
	/* IE7 */ * + html #nav { margin-top: 0 !important; }
#nav li { display: block; list-style: none; margin: 0; padding: 0; float: left; position: relative; }
#nav a { display: block; }
#nav ul { display: none; position: absolute; left: 0; margin: 0; padding: 0; }
/*  IE 6 fix  */ * html #nav ul { line-height: 0; }
/* IE 6-7 fix */ #nav ul a { zoom: 1; } 
#nav ul li { float: none; }
#nav ul ul { top: 0; }
/* Essentials - configure this */
#nav ul { white-space: nowrap; }
#nav li { background-image: none; margin-left: 8px; }
	#nav li li { margin: 0; }
#nav li ul { width: 190px; background: #6a6a6a; }

#nav { margin-left: 80px; height: 20px; }
	#nav a { color: white; font-size: 11px; padding: 6px; line-height: 1; }
	#nav li:hover { color: #bc0200; background: #383838; }
	#nav li:hover a, #nav li a:hover { color: #bc0200; }
	#nav ul a, #nav ul a:hover, #nav ul:hover a { color: #fff !important; }
	#nav ul li:hover { background: #bc0200; }
	#nav ul li a:hover { background: #bc0200; }
/* * * end droppy.js styles * * */

#menu form.headerSearchBox { margin: 1px 0 0 15px; padding: 0; }
#menu .searchboxsub, #menu .searchboxsub-on { width: 155px; height: 13px; margin: 0 0 2px 0; padding: 1px 0 0 3px; border: 1px solid #666; font: 11px Arial, Helvetica, Verdana, sans-serif; }
	/* ie and safari hacks */
	html*#menu .searchboxsub, html*#menu .searchboxsub-on {
	height: 12px; padding-top: 0; margin-bottom: -1px;
	]height: 13px; 
	]padding-top: 1px;
	]margin-bottom: 2px;
	}/*end*/
	.dummyend[id]{clear:both;}
	
	/*\*/
	* html #menu .searchboxsub, * html #menu .searchboxsub-on {
	height: 13px; padding-top: 1px; margin-bottom: 2px;
	}
	/*end*/
#menu .searchboxsub    { color: #bbb; background: #555; }
#menu .searchboxsub-on { color: #000; background: #fff; }
#menu .headerSearchSubmit { position: relative; padding: 0;
	/*  FF */ margin: 0 2px 1px -11px !important;
	/* IE6 */ margin: 0 2px 3px -11px; }
	/* IE7 */ * + html #menu .headerSearchSubmit { margin: 0 2px 3px -11px !important; }