X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;h=a53015662fe277ba0b2ce1c313f134cbaba1f9e3;hb=5e63ff16f7193322fd1b75a1eb443a65643fdbe2;hp=d129be452506d698664d9637d5d7c3f479850cee;hpb=f08e376eb0b370f92900182d3a5867a5b8c0cf7b;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index d129be452..a53015662 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -28,9 +28,9 @@ div.news {
   top: 25px;
   left: 845px;
   font-size: 10pt;
-  width: 100px;
+  width: 105px;
   background: #eaeaea;
-  padding: 10px;
+  padding: 5px;
 }
 
 /* site-wide typesetting */
@@ -106,7 +106,12 @@ div.menu ul li {
 }
 
 div.menu ul li a {
+  display: block;
+  text-align: right;
   text-decoration: none;
+  vertical-align: middle;
+  height: 45px;
+  background-repeat: no-repeat;
 }
 
 a.menu:hover {