From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 12:28:03 +0000 (+0000)
Subject: Bugfix in index.html.
X-Git-Tag: make_still_working~2413
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6488cac23c7fea4f5511979d26362547db3462d8;p=helm.git

Bugfix in index.html.
---

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 415a37758..05742fe6c 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -31,7 +31,7 @@
 </td>
 <td style="width:33%; text-align:center;"><img src="icons/matita-text.png"></td>
 </tr>
-<tr id="workarea" style="height:80%;">
+<tr id="workarea" style="height:70%;">
 <td id="scriptcell" style="padding: 0px; border-style: none; padding: 0px;">
   <!-- the script --> 
   <!-- 
@@ -56,7 +56,7 @@
 </tr>
 </table>
 
-<div class="dialog" style="display: none;">
+<div class="dialog" id="dialogBox" style="display: none;">
   <p id="dialogTitle">Title</p>
   <div class="scroll"></div>
 </div>