X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=64cc6d8b494b7f439b837f745f892101db7cb2ee;hb=1f6f7f7f695b602c5b8b51574d7489c0a96898b8;hp=0a3be849cae14622c3eca9dc793b075cafbd5f5b;hpb=65040d32e75590b098df154c7ba0be66e62cace8;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 0a3be849c..64cc6d8b4 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -1,13 +1,19 @@
 body {
   font-family: sans-serif;
-  font-size: 14pt;
+  font-size: 12pt;
+  background-image: url(images/sheetbg.png);
+  background-repeat: repeat;
+  margin-left: 7%;
+  margin-right: 7%;
+}
 
-  margin-left: 20px;
+samp.tiny {
+  font-size: 8pt;
 }
 
 span.h1 {
   font-family: sans-serif;
-  font-size: 18pt;
+  font-size: 16pt;
 
   color: #808080;
   
@@ -18,16 +24,21 @@ span.h1 {
   border-style: solid;
   border-color: #cb8080;
 
-  margin-right:auto;
+  margin-right: auto;
+/*   margin-left: 10%; */
 }
 
 p {
-  margin-left:5px;
+/*   margin-left:10%; */
+}
+ul {
+/*   margin-left:10%; */
+  list-style-type: none;
 }
 
 a.upmenu {
   color: #591622;
-  background-color: #ffffff;
+  background-color: transparent;
   
   font-family: sans-serif;
   font-style : italic;
@@ -41,31 +52,38 @@ a.upmenu {
   border-right-width: 0px;
   border-style: solid;
 
-  margin-left:20px;
+/*   margin-left:20px; */
   margin-right:20px;
 }
 
 a.upmenu:hover { 
   color: #591622;	
-  border-color: #808080;
+  text-decoration : none;
+  /*
+  border-bottom-width: 3px;
+  border-color: #b2dae6;
+  */
+  background-color: #ecf6f9;
+
 }
 
 a {
+  margin: 2px;
   color: #591622;
-  text-decoration : none;
+  text-decoration : underline;
+}
 
+a:hover {
+  text-decoration : underline;
   /*
   border-bottom-width: 2px;
   border-top-width: 0px;
   border-left-width: 0px;
   border-right-width: 0px;
   border-style: solid;
-  border-color: #cb8080;
+  border-color: #b2dae6;
   */
-}
-
-a:hover {
-  color: #808080;
+  background-color: #ecf6f9;
 }
 
 div.upmenu {
@@ -75,3 +93,33 @@ div.upmenu {
   margin-bottom: 40px;
 }
 
+div.bottombar {
+  display: block;
+  width: auto;
+  text-align:right;
+  margin-top: 40px;
+}
+
+div.uplined {
+  height: auto;
+  padding-top: 10px;
+  width: 40%;
+  margin-left:auto;
+  border-top-style: solid;
+  border-top-width: 3px;
+  border-color: #cb8080;
+}
+
+a.quiet:link,visited,hover { 
+  background-color:transparent;
+  text-decoration: none;
+  border-style:none;
+  
+}
+
+img.quiet { 
+  border-style:none; 
+}
+
+
+