/**************************************************************************/
/***** javascript writing out the correct stylesheet based on browser *****/
/**************************************************************************/


document.write("<link rel='stylesheet' type='text/css' href='/style/ie_style.css'>\n");