come posso ridimensionare una finestra in Opera, visto che questo browser non supporta ne window.resizeTo ne window.outerWidth ???