/* * * keep in sync with css/2003/www.wolfram.com/M6.css! * * */
/* menu overrides (red) */
#menu {  }
	#menu .logo { background-image: url('/common/images2010/wolframlogo10-red.gif'); }
.WRIdropMenu a.WRImenuHover, a.topLevel:hover { color: #dc0200 !important; }
.WRImenuContents a.WRImenuHover, .WRImenuContents a:hover { background-color: #dc0200; color: #fff !important; }