
whichStyler = "";

if (me.macos || me.win)
   {
   if (me.macos)
      { whichStyler += "hi_mac.css'"; }
   else
      {
      if (me.win)
         {
         if (me.iex)
            { whichStyler += "hi_pex.css'"; }
         else
            { whichStyler += "hi_pnc.css'"; }
         }
      }
   }   
else
   { // unix ??
   whichStyler += "hi_anderer.css'";
   }
                              
document.write("<LINK rel='stylesheet' type='text/css' href='styles/"+whichStyler+">");
