//lib_css.js, v4.1b, by Jean-François Pique

//cssFilePrefix : 'p' (4 a person), 'cd', 'ix' or 'root'

var cssType = "ux_mac.css";	// Default style is ux_mac which have the largest font sizes (2pt larger than those for IE)


// *** BROWSER TYPE snif *** 
var agt = navigator.userAgent.toLowerCase();		// convert all characters to lowercase to simplify testing
var is_ie  = (agt.indexOf("msie") != -1); 
var is_ns  = (navigator.appName.indexOf("Netscape")!= -1);

// *** PLATFORM snif *** 
var is_win = (agt.indexOf("win")!=-1);
var is_mac = (agt.indexOf("mac")!=-1);

				// Choose the style sheet for use based on the platform and browser version
if (is_win) {
  if (is_ns) {
    cssType = "win_ns.css";	// Windows Netscape fonts need to be 1pt larger than those for IE
  }else{
    cssType = "win_ie.css";
  }
}else if (is_mac) {
  if (is_ie) {
    cssType = "win_ie.css";	// Default font settings for Mac IE5 match PC IE fonts
  }else{
    cssType = "ux_mac.css";
  }
}

//GENERATION DU LIEN SUR LA FEUILLE DE STYLE
document.write('<link rel=stylesheet type=text/css href=' + cssFilePrefix + cssType + '>');


//CHOIX DU SON			// Function to change sound file references in this document
// : not needed in 4.1