X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fxhtbl.css;h=5ef81f018e68a45edcaab910f2986eafa290ded7;hb=8653dd54c57943e28e3ef60d2d0cbc1861a76a33;hp=f58db47c3dd578722846dcca0a10de65ddf6e4f0;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/css/xhtbl.css b/helm/www/lambdadelta/css/xhtbl.css
index f58db47c3..5ef81f018 100644
--- a/helm/www/lambdadelta/css/xhtbl.css
+++ b/helm/www/lambdadelta/css/xhtbl.css
@@ -1,46 +1,5 @@
 @charset "UTF-8";
 
-/* positioning **************************************************************/
-
-table {
-  margin-left: auto;
-  margin-right: auto;
-  width: 100%;
-}
-
-td {
-  border-color:#000000;
-  border-width:1px;
-  color:#000000;
-}
-
-/* content types ************************************************************/
-
-.text {  
-  font-style: normal;
-}
-
-.component {
-  font-style: italic;
-  text-transform: capitalize;
-}
-
-.plane {  
-  font-style: italic;
-  text-transform: lowercase;
-}
-
-.file {  
-  font-style: normal;
-  text-transform: lowercase;
-}
-
-.number {
-  text-align: right; 
-  font-style: italic;
-  text-transform: lowercase;
-}
-
 /* cell borders *************************************************************/
 
 td.nnnn {
@@ -106,3 +65,57 @@ td.sssn {
 td.ssss {
   border-style:solid solid solid solid;
 }
+
+/* text alignment ***********************************************************/
+
+td.left {
+   text-align: left;
+}
+
+td.center {
+   text-align: center;
+}
+
+td.right {
+   text-align: right;
+}
+
+td.justify {
+   text-align: justify;
+}
+
+td.top {
+   vertical-align: top;
+}
+
+td.middle {
+   vertical-align: middle;
+}
+
+td.bottom {
+   vertical-align: bottom;
+}
+
+/* text style ***************************************************************/
+
+td.capitalize {
+  text-transform: capitalize;
+}
+
+td.lowercase {
+  text-transform: lowercase;
+}
+
+td.uppercase {
+  text-transform: uppercase;
+}
+
+/* font style ***************************************************************/
+
+td.upright {
+  font-style: normal;
+}
+
+td.italic {
+  font-style: italic;
+}