<!--

//determines which stylesheet to write based on browser/platform combination.
var ns = (document.layers) ? 1:0;
var ie = (document.all && !document.getElementById) ? 1:0;
var ie5 = (document.getElementById && !window.innerHeight) ? 1:0;
var ns6 = (window.innerHeight && !document.layers) ? 1:0;
var op = (ns6 && !document.getElementsByTagNameNS) ? 1:0;
var sf = (navigator.userAgent.indexOf('Safari') > -1) ? 1:0;

var mac = (navigator.platform.indexOf('Mac') > -1) ? 1:0;


// -->