X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=67b4cf03ba3db550d0ca236242b59c0b1d10a7d8;hb=e4807fdacd5b71bfd2e754f42f520d82fd178386;hp=6de52ec9483c3e5f301be817bea0be0ff3d6a715;hpb=379940541ddc8f917c5a002810a62e4bcad6e83c;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 6de52ec94..67b4cf03b 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -4,8 +4,6 @@ body {
   font-size: 12pt;
   background-image: url(images/sheetbg.png);
   background-repeat: repeat;
-  margin-left: 7%;
-  margin-right: 7%;
 }
 
 samp.tiny {
@@ -13,7 +11,6 @@ samp.tiny {
 }
 
 div.main h1 {
-  font-family: sans-serif;
   font-size: 18pt;
   color: #808080;
 
@@ -21,27 +18,20 @@ div.main h1 {
 }
 
 div.main h2 {
-  font-family: sans-serif;
   font-size: 16pt;
   color: #808080;
   
-  border-style: none;
   border-bottom-style: solid;
   border-width: 3px;
   border-color: #cb8080;
-  width: 70%;
-
-  margin-right: auto;
 }
 
 div.main h3 {
-  font-family: sans-serif;
   font-size: 14pt;
   color: #808080;
 }
 
 div.main h4 {
-  font-family: sans-serif;
   font-size: 13pt;
   color: #808080;
 }
@@ -53,30 +43,24 @@ ul {
   list-style-type: none;
 }
 
-div.menu a {
+div.menu ul li {
   color: #591622;
-  background-color: transparent;
-  
-  font-family: sans-serif;
   font-style : italic;
-  
   text-decoration : none;
   
+  border-bottom-style: solid;
   border-color: #cb8080;
-  border-bottom-width: 3px;
-  border-top-width: 0px;
-  border-left-width: 0px;
-  border-right-width: 0px;
-  border-style: solid;
+  margin-bottom: 10px;
+}
 
-  margin-right:20px;
+div.menu ul li a {
+  text-decoration: none;
 }
 
 a.menu:hover { 
   color: #591622;	
   text-decoration : none;
   background-color: #ecf6f9;
-
 }
 
 a {
@@ -91,16 +75,25 @@ a:hover {
 }
 
 div.menu {
-  display: block;
-  width: auto;
-  text-align:center;
-  margin-bottom: 40px;
+  position: absolute;
+  left: 0px;
+  width: 150px;
+  padding-top: 140px;
+  background: url(images/matita-small.png);
+  background-repeat: no-repeat;
+  background-position: 1cm top;
+}
+
+div.main {
+  position: absolute;
+  top: 0px;
+  left: 200px;
+  width: 650px;
 }
 
 div.bottombar {
   display: block;
   width: auto;
-  text-align:right;
   margin-top: 40px;
 }
 
@@ -108,10 +101,9 @@ div.uplined {
   height: auto;
   padding-top: 10px;
   width: 40%;
-  margin-left:auto;
+  border-color: #cb8080;
   border-top-style: solid;
   border-top-width: 3px;
-  border-color: #cb8080;
 }
 
 a.quiet:link,visited,hover { 
@@ -125,3 +117,8 @@ a.quiet img {
   border-style:none; 
 }
 
+pre.code {
+  margin-left: 2em;
+  font-size: 95%;
+}
+