From c64ca037e5e1e70d821d390c6297f32e847a1d90 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 22 Jun 2011 12:58:55 +0000
Subject: [PATCH] Fix in matitaweb:index.html.

---
 matitaB/matita/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index fa5b27918..ea4d54951 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -57,7 +57,7 @@
 </table>
 
 <div class="dialog" id="dialogBox" style="display: none;">
-  <div class="diaTitle" id="dialogTitle">Title</p>
+  <div class="diaTitle" id="dialogTitle">Title</div>
   <div class="scroll"></div>
 </div>
  </body>
-- 
2.39.2