X-Git-Url: https://mop.ddnsfree.com/gitweb/?a=blobdiff_plain;f=web%2Fcommons.js;h=a38a36c48fbe6400cb1613d2fadb79350ede0cb8;hb=dd8ea26db05952301b2f52c10f5cf0c17338fca3;hp=6fb210ee6c00ee95045e04cc837d06af509235b4;hpb=59ef2095b7a6fb0b57302ceb84830c81794e94a5;p=brisk.git diff --git a/web/commons.js b/web/commons.js index 6fb210e..a38a36c 100644 --- a/web/commons.js +++ b/web/commons.js @@ -697,6 +697,7 @@ function notify_document(st, text, tout, butt, confirm_func, w, h, is_opa, block cont.style.borderBottomColor = "gray"; cont.style.height = (h - 30)+"px"; cont.style.overflow = "auto"; + cont.style.fontFamily = "monospace"; cont.innerHTML = text; box = document.createElement("div");