X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fcss%2Fxhtbl.css;h=1a689f678c47aa89cef804e96c286e73f06fb4ea;hb=9a0dc83131e9695ffd4254ff5546817ca431d8c2;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..1a689f678 100644
--- a/helm/www/lambdadelta/css/xhtbl.css
+++ b/helm/www/lambdadelta/css/xhtbl.css
@@ -1,46 +1,19 @@
 @charset "UTF-8";
 
-/* positioning **************************************************************/
+/* tables *******************************************************************/
 
-table {
+table.xhtbl {
   margin-left: auto;
   margin-right: auto;
   width: 100%;
 }
 
-td {
+td.xhtbl {
   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 +79,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;
+}