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