]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/css/xhtbl.css
planned dehyphenation of lambdadelta eventually took place!
[helm.git] / helm / www / lambdadelta / css / xhtbl.css
diff --git a/helm/www/lambdadelta/css/xhtbl.css b/helm/www/lambdadelta/css/xhtbl.css
new file mode 100644 (file)
index 0000000..f58db47
--- /dev/null
@@ -0,0 +1,108 @@
+@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 {
+  border-style:none none none none;
+}
+
+td.nnns {
+  border-style:none none none solid;
+}
+
+td.nnsn {
+  border-style:none none solid none;
+}
+
+td.nnss {
+  border-style:none none solid solid;
+}
+
+td.nsnn {
+  border-style:none solid none none;
+}
+
+td.nsns {
+  border-style:none solid none solid;
+}
+
+td.nssn {
+  border-style:none solid solid none;
+}
+
+td.nsss {
+  border-style:none solid solid solid;
+}
+
+td.snnn {
+  border-style:solid none none none;
+}
+
+td.snns {
+  border-style:solid none none solid;
+}
+
+td.snsn {
+  border-style:solid none solid none;
+}
+
+td.snss {
+  border-style:solid none solid solid;
+}
+
+td.ssnn {
+  border-style:solid solid none none;
+}
+
+td.ssns {
+  border-style:solid solid none solid;
+}
+
+td.sssn {
+  border-style:solid solid solid none;
+}
+
+td.ssss {
+  border-style:solid solid solid solid;
+}