X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fcommons.js;h=566ffa768e8bac4dbf85a155587ee0c521249d5e;hb=8bd0ea95b1b1df4fbb7e9cd0b599ec6869c87f0e;hp=c5cee044869b7f4d5931cf15acfd56a89558eacb;hpb=d805fe6d9173d5de9a5a0e09e1a466f865b66017;p=brisk.git

diff --git a/web/commons.js b/web/commons.js
index c5cee04..566ffa7 100644
--- a/web/commons.js
+++ b/web/commons.js
@@ -695,8 +695,10 @@ function notify_document(st, text, tout, butt, confirm_func, w, h, is_opa, block
     cont.style.borderBottomStyle = "solid";
     cont.style.borderBottomWidth = "1px";
     cont.style.borderBottomColor = "gray";
-    cont.style.height = (h - 30)+"px";
+    cont.style.height = (h - 50)+"px";
     cont.style.overflow = "auto";
+    cont.style.textAlign = "left";
+    cont.style.padding = "8px";
     cont.style.fontFamily = "monospace";
     cont.innerHTML = text;
 
@@ -913,12 +915,6 @@ function notify(st, text, tout, butt, w, h)
     notify_ex.call(this, st, text, tout, butt, w, h, false, 0);
 }
 	
-
-function $(id) { 
-    return document.getElementById(id); 
-}
-
-
 function globst() {
     this.st = -1;
     this.st_loc = -1;