// JavaScript Document


if(navigator.userAgent.indexOf("Mac")!=-1){
    document.write("<LINK REL=STYLESHEET HREF=mactxt.css TYPE=text/css>"); 
} else {
    document.write("<LINK REL=STYLESHEET HREF=wintxt.css TYPE=text/css>"); 
}