Matitaweb: several improvements in the UI.

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

diff --git a/matitaB/matita/html/matitaweb.css b/matitaB/matita/html/matitaweb.css
index a3619e66c29e1f0e6e3689e57b983a53bf7a90e1..84774427f90a0d107ee71d8a5a56f4eddeca70d2 100644 (file)
--- 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 {