From 6488cac23c7fea4f5511979d26362547db3462d8 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 12:28:03 +0000
Subject: [PATCH] Bugfix in index.html.

---
 matitaB/matita/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>
-- 
2.39.2