<!--

if (navigator.userAgent.indexOf("Win") >= 0) {
        document.write('<link rel="STYLESHEET" type="text/css" href="shared/css/Windows.css">');
  }
  else
  {
        document.write('<link rel="STYLESHEET" type="text/css" href="shared/css/NonWindows.css">');
  }

// -->