Bugfix in index.html.

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 415a377589431094ec954170028ba8f19ad4989c..05742fe6c48189590846bbd09611a6d8262f089e 100644 (file)
--- 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>