1) removed many debug prints

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

diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index b75aaf301cd9f7f514d54d0d54484b91d7a35c1e..aed752a8e9cde90fb5d41c1b79b6cc56684dc45b 100644 (file)
--- a/matitaB/matita/matitaweb.css
+++ b/matitaB/matita/matitaweb.css
@@ -112,7 +112,7 @@ div.navibar {
        margin-left: auto;
        margin-right: auto;
        height:100%; 
-       width:33%; 
+       width:370px; 
        float:left; 
 }
 
@@ -121,7 +121,7 @@ div.toolbar {
        margin-left: auto;
        margin-right: auto;
        height:100%; 
-       width:33%;
+       width:300px;
         float:left; 
 }
 
@@ -130,7 +130,7 @@ div.caption {
        margin-left: auto;
        margin-right: auto;
        height:100%; 
-       width:34%; 
+       width:220px; 
        text-align: center;
         float:right; 
 }