// $Id: netscape_style.js,v 1.1 2005/03/17 17:34:33 fpetroski Exp $

if (navigator.appName != 'Netscape'){
        document.write("<STYLE TYPE=TEXT/CSS>BODY{margin:9;}</STYLE>");
}