// $Id: stylesheet.js,v 1.3 2000/01/08 02:42:42 sin Exp $
// DO NOT MODIFY THIS! (START)
if (is_ie (4)) 
{
  document.write ('<link href="ie4.css" type="text/css" rel="stylesheet">');
}
if (is_netscape (4) && is_mac ())
{
  document.write ('<link href="ns4_mac.css" type="text/css" rel="stylesheet">');
}
// DO NOT MODIFY THIS! (END)