X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=64cc6d8b494b7f439b837f745f892101db7cb2ee;hb=19849608a5bf22dc233abf5030745f3ea0fcd4c9;hp=24fbcba4c1a9bf49301b03d1f82d6ef0bb68c278;hpb=41d76f1dd8a3e5d67785900e6208eb80bf75cc9e;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 24fbcba4c..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;
 }
 
@@ -65,11 +70,11 @@ a.upmenu:hover {
 a {
   margin: 2px;
   color: #591622;
-  text-decoration : none;
+  text-decoration : underline;
 }
 
 a:hover {
-  text-decoration : none;
+  text-decoration : underline;
   /*
   border-bottom-width: 2px;
   border-top-width: 0px;
@@ -93,8 +98,6 @@ div.bottombar {
   width: auto;
   text-align:right;
   margin-top: 40px;
-  margin-right: 40px;
-
 }
 
 div.uplined {