// If the platform is Macintosh, use the Macintosh style sheet.
         if (navigator.platform.indexOf('Mac') != -1) {
           document.write('<link rel="stylesheet" href="css/macstyle.css">');
         // Otherwise, use the Windows style sheet.
         } else{
           document.write('<link rel="stylesheet" href="css/winstyle.css">');
         }