X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2Fmatitaweb.css;h=3f7b1e601cf3ec739ded092fbb7d917e933f1923;hb=bb9c48af6f729b0616a0fc5f1fd9037d4c3f2c89;hp=2605df9aa185d6037e6704929dd84d786ae1b5bc;hpb=22d6cfb35bc1b7bfe7a407c83e6ba25ac3737ea5;p=helm.git

diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index 2605df9aa..3f7b1e601 100644
--- a/matitaB/matita/matitaweb.css
+++ b/matitaB/matita/matitaweb.css
@@ -2,10 +2,10 @@ div.dialog {
 	position:absolute;
 	top: 50%;
 	left: 50%;
-	width:400px;
-	height:300px;
-	margin-top: -150px; /*set to a negative number 1/2 of your height*/
-	margin-left: -200px; /*set to a negative number 1/2 of your width*/
+	width:450px;
+	height:500px;
+	margin-top: -250px; /*set to a negative number 1/2 of your height*/
+	margin-left: -225px; /*set to a negative number 1/2 of your width*/
 	border: 1px solid #ccc;
 	padding: 3px;
 	background-color: #f3f3f3;
@@ -15,15 +15,25 @@ div.diaTitle {
 	display: block;
 	margin-left: auto;
 	margin-right: auto;
-	width: 394px;
+	width: 444px;
 	background-color: #007fff;
 	color: white;
 }
 
 div.scroll {
+	display: block;
+	margin-left: auto;
+	margin-right: auto;
 	border: 1px;
 	border-style:solid;
-	height:100%; 
-	width:100%; 
+	height:470px; 
+	width:442px; 
 	overflow:auto;
+	background-color: white;
+	color:black;
+}
+
+h2 {
+	border: 0px;
+	padding: 0px;
 }