<!--
// convert all characters to lowercase to simplify testing 
var agt=navigator.userAgent.toLowerCase(); 

// *** PLATFORM ***
var is_win   = ( (agt.indexOf("win")!=-1) || (agt.indexOf("16bit")!=-1) );
var is_mac    = (agt.indexOf("mac")!=-1);

// *** BROWSER ***
var is_major = parseInt(navigator.appVersion); 
var is_minor = parseFloat(navigator.appVersion); 
var is_ie   = (agt.indexOf("msie") != -1); 
var is_ie4  = (is_ie && (is_major == 4) && (agt.indexOf("msie 4.0")==-1) ); 
var is_ie51  = (is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")==-1) ); 

if (document.all) {
	if (is_mac) {
		if (is_ie4) {
		// do nothing
		}

		if (is_ie51) {
			document.write ('<style><!--');
			document.write ('div.navtext\{width:132px;\}');
			document.write ('div.navtextOn\{width:132px;\}');
			document.write ('--></style>');		
		}		
		else {
			document.write ('<style><!--');
			document.write ('div.navtext\{width:132px;\}');
			document.write ('div.navtextOn\{width:132px;\}');
			document.write ('--></style>');		
		}
	}
	
	if (is_win) {
		document.write ('<style><!--');
		document.write ('div.navtext\{width:132px;\}');
		document.write ('div.navtextOn\{width:132px;\}');
		document.write ('--></style>');
	}
}
//-->
