X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.css;h=e11f7a967921e7493bd6b5f38eb7467ce0b826b7;hb=4025c3f5b36025380dcad84bb7a97045d08652f6;hp=f39a09ea1177d7d00688e81b14b4a727cbdbe7e3;hpb=cc57e6f6528ccc871a4d52d2ce4859c4a76fc0ca;p=helm.git

diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index f39a09ea1..e11f7a967 100644
--- a/matitaB/matita/matitaweb.css
+++ b/matitaB/matita/matitaweb.css
@@ -38,6 +38,74 @@ div.scroll {
 	color:black;
 }
 
+div.matitaapparea {
+	display: block;
+	margin-left: auto;
+	margin-right: auto;
+	height:100%; 
+	width:100%; 
+	background-color: white;
+	color:black;
+}
+
+div.toparea {
+	display: block;
+	margin-left: auto;
+	margin-right: auto;
+	height:15%; 
+	width:100%; 
+}
+
+div.bottomarea {
+	display: block;
+	margin-left: auto;
+	margin-right: auto;
+	height:15%; 
+	width:100%; 
+}
+
+div.workarea {
+	display: block;
+	margin-left: auto;
+	margin-right: auto;
+	height:70%; 
+	width:100%; 
+}
+
+div.toolbar {
+	display: inline;
+	margin-left: auto;
+	margin-right: auto;
+	height:100%; 
+	width:67%; 
+}
+
+div.caption {
+	display: inline;
+	margin-left: auto;
+	margin-right: auto;
+	height:100%; 
+	width:33%; 
+	text-align: center;
+}
+
+div.scriptarea {
+	display: inline;
+	margin-left: auto;
+	margin-right: auto;
+	height:100%; 
+	width:67%; 
+}
+
+div.goalarea {
+	display: inline;
+	margin-left: auto;
+	margin-right: auto;
+	height:100%; 
+	width:33%; 
+}
+
+
 h2 {
 	border: 0px;
 	padding: 1px;