X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=de85f44d0ddfba88cac5fe2841261cf14ea3ebd7;hb=9b75ad80a3ee31314c02f113b255ad533a87d3d2;hp=150aaf781315e2475980271362ff1cfeb0dce939;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index 150aaf781..de85f44d0 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -17,13 +17,6 @@ a:hover {
    background: rgb(192, 192, 192);
 }
 
-/* on newer browsers, disable style modifications for named anchors */
-a[name]:hover {
-   text-decoration: inherit;
-   color: inherit;
-   background: inherit;
-}
-
 /* blocks *******************************************************************/
 
 div.spacer {
@@ -53,6 +46,13 @@ div.head2dx {
    font-size: x-large;
 }
 
+div.head3sn {
+   margin: 0.5em 0; 
+   text-align: left;
+   font-weight: bold; 
+   font-size: large;
+}
+
 div.text {
    margin: 1em 0; 
    text-align: left;
@@ -65,6 +65,20 @@ span.date {
    font-size: medium;
 }
 
+/* tables *******************************************************************/
+
+table {
+  margin-left: auto;
+  margin-right: auto;
+  width: 100%;
+}
+
+td {
+  border-color:#000000;
+  border-width:1px;
+  color:#000000;
+}
+
 /* inline decorations *******************************************************/
 
 img.icon32 {