Changes to matitaweb.js (dialog box).

[helm.git] / matitaB / matita / matitaweb.js

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index a5bf84adcd4610afdd532a35767654ec81434671..81995bb803ed42d8579f05d07d773ca252844b62 100644 (file)
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -478,7 +478,7 @@ function showLibrary()
                        if(stat == 200)
                        {
                          debug(req.responseText);
-                         showDialog("Library",req.responseText);
+                         showDialog("<H2>Library</H2>",req.responseText);
                        } 
                } 
        };
@@ -501,7 +501,6 @@ function showSequent() {
 }
 
 function showDialog(title,content) {
-
   dialogTitle.innerHTML = title;
   dialogContent.innerHTML = content;
   dialogBox.style.display = "block";