if(navigator.platform.indexOf('Win')!=-1){
	document.write('<link href="./css/tex_win.css" rel="stylesheet" type="text/css" media="screen,print" />');
}else{
	document.write('<link href="./css/tex_mac.css" rel="stylesheet" type="text/css" media="screen,print" />');
}