X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=64cc6d8b494b7f439b837f745f892101db7cb2ee;hb=104b96bb1581a376c2261b18384e3a26373c965c;hp=8c4a95c4181f42555d16650cbb9ad046c7c056c7;hpb=37e0a6ded28116214bbe96a965589d98ed733db3;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 8c4a95c41..64cc6d8b4 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -3,7 +3,12 @@ body {
   font-size: 12pt;
   background-image: url(images/sheetbg.png);
   background-repeat: repeat;
-  margin-left: 20px;
+  margin-left: 7%;
+  margin-right: 7%;
+}
+
+samp.tiny {
+  font-size: 8pt;
 }
 
 span.h1 {
@@ -20,14 +25,14 @@ span.h1 {
   border-color: #cb8080;
 
   margin-right: auto;
-  margin-left: 10%;
+/*   margin-left: 10%; */
 }
 
 p {
-  margin-left:10%;
+/*   margin-left:10%; */
 }
 ul {
-  margin-left:10%;
+/*   margin-left:10%; */
   list-style-type: none;
 }
 
@@ -47,7 +52,7 @@ a.upmenu {
   border-right-width: 0px;
   border-style: solid;
 
-  margin-left:20px;
+/*   margin-left:20px; */
   margin-right:20px;
 }
 
@@ -93,8 +98,6 @@ div.bottombar {
   width: auto;
   text-align:right;
   margin-top: 40px;
-  margin-right: 40px;
-
 }
 
 div.uplined {