<!-- styles.js - detect browser and platform and load appropriate style sheets
with(document) {
   if (navigator.appName.indexOf('Netscape') != -1)
   {
      writeln( '<link REL="StyleSheet" HREF="styles/rfarm_ns.css">')
   } else
   {
      writeln( '<link REL="StyleSheet" HREF="styles/rfarm_ie.css">')
   }
   if (navigator.userAgent.indexOf('X11') != -1)
   {
      writeln( '<link REL="StyleSheet" HREF="styles/rfarm_x11.css">')
   }
}

//-->

