if ((navigator.appName == "Microsoft Internet Explorer") &&
    (navigator.userAgent.indexOf ("Opera") == -1))
  {
    // document.write('<style>');
    // 
    // document.write('#panes #main_pane { float:left; }');
    // document.write('#panes #menu_pane { float:left; }');
    // 
    // document.write('</style>');
  };