X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fld_web.css;h=57e2774b2ad1131a310b07d082f4a4eac07bbff7;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;hp=929330851d8c4cd1ad5aeb09a56fd4c83feb648e;hpb=21e21b3b061807035bbd18d29d7a4fd8086ca10d;p=helm.git

diff --git a/helm/www/lambdadelta/css/ld_web.css b/helm/www/lambdadelta/css/ld_web.css
index 929330851..57e2774b2 100644
--- a/helm/www/lambdadelta/css/ld_web.css
+++ b/helm/www/lambdadelta/css/ld_web.css
@@ -63,25 +63,6 @@ div.text {
   font-size: medium;
 }
 
-span.emph {
-  font-weight: bold;
-  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 {