]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/ld_web.css
web site update
[helm.git] / helm / www / lambdadelta / css / ld_web.css
index 929330851d8c4cd1ad5aeb09a56fd4c83feb648e..57e2774b2ad1131a310b07d082f4a4eac07bbff7 100644 (file)
@@ -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 {