]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/xhtbl.css
web site update
[helm.git] / helm / www / lambdadelta / css / xhtbl.css
index f58db47c3dd578722846dcca0a10de65ddf6e4f0..1a689f678c47aa89cef804e96c286e73f06fb4ea 100644 (file)
@@ -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;
+}