X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fhtml%2Fmatitaweb.css;fp=matitaB%2Fmatita%2Fhtml%2Fmatitaweb.css;h=84774427f90a0d107ee71d8a5a56f4eddeca70d2;hb=98827f140349f91cbd546491b233d6d5d3f335c3;hp=a3619e66c29e1f0e6e3689e57b983a53bf7a90e1;hpb=71204a8e8d1084c94adfbcf9264f71ab85f3621e;p=helm.git

diff --git a/matitaB/matita/html/matitaweb.css b/matitaB/matita/html/matitaweb.css
index a3619e66c..84774427f 100644
--- a/matitaB/matita/html/matitaweb.css
+++ b/matitaB/matita/html/matitaweb.css
@@ -1,4 +1,5 @@
 body {
+        font: 75% verdana, arial, helvetica, sans-serif;
 	border:0px;
 	padding:0px;
 	margin:0px;
@@ -25,13 +26,13 @@ div.upload {
 }
 
 div.titlebar {
-	display: block;
-	margin:0px;
-	border:0px;
-	width:100%;
-	height: 32px;
-	background-color: #007fff;
-	color: white;
+	display: block !important;
+	margin:0px !important;
+	border:0px !important;
+	width:100% !important;
+	height: 32px !important;
+	background-color: #007fff !important;
+	color: white !important;
 }
 
 div.mainTitle {
@@ -147,23 +148,47 @@ div.matitaapparea {
 	color:black;
 }
 
+.smallmargin {
+	margin:4px !important;
+}
+
 div.toparea {
-	display: block;
-	padding:4px;
-	margin-left: auto;
-	margin-right: auto;
-	height:64px; 
-	width:100%; 
-        line-height:64px;
+	display: block !important;
+	padding:0px !important; 
+	margin:0px !important;
+/*	margin-left: auto;
+	margin-right: auto;*/
+	height:auto; 
+	width:100% !important; 
+/*        line-height:64px; */
 /*        float:left;*/
 }
 
+div.nomargin {
+        padding:0px !important;
+	margin:0px !important;
+	border:0px !important;
+}
+
 div.bottomarea {
-	display: block;
-	margin-left: auto;
-	margin-right: auto;
-	height:15%; 
-	width:100%; 
+	background-color: #ffffbf !important;
+}
+
+div.bottomicon {
+	float:left;
+	display:inline-block;
+}
+
+div.bottomtext {
+	color:red;
+	display:inline-block;
+	padding:4px;
+	margin-left:8px;
+}
+
+div.bottomclose {
+	display: inline-block;
+        float: right;
 }
 
 div.workarea {
@@ -177,29 +202,32 @@ div.workarea {
 	width:100%; 
 }
 
+div.toolbarclass {
+	display: inline-block !important;
+	padding:4px !important;
+	border:0px !important;
+	height:24px !important;
+}	
+
+div.navibarclass {
+	display: inline-block !important;
+	padding:4px !important;
+	border:0px !important;
+	height:64px !important;
+}	
+
 div.navibar {
-	display: inline-block;
-	margin-left: auto;
-	margin-right: auto;
-	height:100%; 
-	width:370px; 
+/*	height:100%; */
 	float:left; 
+	width:350px; 
 }
 
 div.toolbar {
-	display: inline-block;
-	margin-left: auto;
-	margin-right: auto;
-	height:100%; 
 	width:400px;
         float:left; 
 }
 
 div.caption {
-	display: inline-block;
-	margin-left: auto;
-	margin-right: auto;
-	height:100%; 
 	width:220px; 
 	text-align: center;
         float:right; 
@@ -210,6 +238,13 @@ img.topimg {
         border:none;
 }
 
+img.toolbarimg {
+	bottom:0px;
+        border:none;
+	height:24px;
+	width:24px;
+}
+
 div.scriptarea {
 	display: inline-block;
 	border:0px;
@@ -226,13 +261,14 @@ div.scriptarea {
 
 div.sidearea {
 	display: inline-block;
-	border:0px;
-	padding:0px;
-	margin:0px;
+	border:0px !important;
+	padding:0px !important;
+	margin:0px !important;
+	overflow: hidden !important;
 	/*margin-left: auto;
 	margin-right: auto;*/
 	height:100%; 
-	width:33%;
+/*	width:33% !important; */
 /*        min-width:33%;
         max-width:33%;  */
         float:right;
@@ -244,7 +280,7 @@ div.framed {
 }
 
 div.context {
-	overflow: auto;
+	/* overflow: auto; */
 }
 
 span.autotactic {