From 68e57d31d97dcdd757e04f53628f785cf74bc2f2 Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sun, 25 Feb 2007 14:29:00 +0000
Subject: [PATCH] gestione margini per IE

---
 web/commons.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/commons.js b/web/commons.js
index 26e1581..30108c6 100644
--- a/web/commons.js
+++ b/web/commons.js
@@ -592,6 +592,7 @@ function notify(st, text, tout, butt, w, h)
     box.innerHTML = text;
     box.style.zIndex = 200;
     box.style.width  = w+"px";
+    box.style.marginLeft  = -parseInt(w/2)+"px";
     box.style.height = h+"px";
     box.appendChild(clodiv);
     box.style.visibility = "visible";
-- 
2.17.1