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

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 {