From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 2 Oct 2011 20:52:52 +0000 (+0000)
Subject: - xhtbl.css is ready!
X-Git-Tag: make_still_working~2253
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ad4d9dc103672a8ae732ec520d0f74445b913e2c;p=helm.git

- xhtbl.css is ready!
- images ar now in a dedicated directory
---

diff --git a/helm/www/lambda_delta/css/ld.css b/helm/www/lambda_delta/css/ld.css
deleted file mode 100644
index 92d2e8d92..000000000
--- a/helm/www/lambda_delta/css/ld.css
+++ /dev/null
@@ -1,63 +0,0 @@
-@charset "UTF-8";
-
-/* general ******************************************************************/
-
-body {
-   background: rgb(255, 255, 255); 
-   color: rgb(0, 0, 0);
-   margin: 2.5%;
-}
-
-a:link, a:visited {
-   text-decoration: underline;
-}
-
-a:active, a:hover, a:focus {
-   background: rgb(192, 192, 192);
-}
-
-/* blocks *******************************************************************/
-
-.spacer {
-   text-align: center;
-}
-
-.head1 {
-   margin: 0.5em 0; 
-   text-align: center;
-   font-weight: bold; 
-   font-size: xx-large;
-}
-
-.head2 {
-   margin: 0.5em 0; 
-   text-align: left;
-   font-weight: bold; 
-   font-size: x-large;
-}
-
-.text {
-   margin: 1em 0; 
-   text-align: left;
-}
-
-/* inline decorations *******************************************************/
-
-.icon32 {
-   border: 0; 
-   width: 32px; 
-   height: 32px;
-}
-
-.rule {
-   border: 0; 
-   height: 4px;
-   width: 100%; 
-}
-
-.w3c {
-   margin: 0 0.5em; 
-   border: 0; 
-   width: 88px; 
-   height: 32px; /* this should be 31px */
-}
diff --git a/helm/www/lambda_delta/css/ld_web.css b/helm/www/lambda_delta/css/ld_web.css
new file mode 100644
index 000000000..a8779782f
--- /dev/null
+++ b/helm/www/lambda_delta/css/ld_web.css
@@ -0,0 +1,117 @@
+@charset "UTF-8";
+
+/* general ******************************************************************/
+
+body {
+   background: rgb(255, 255, 255); 
+   color: rgb(0, 0, 0);
+   margin: 2.5%;
+}
+
+a:link, a:visited {
+   text-decoration: underline;
+}
+
+a:active, a:hover, a:focus {
+   background: rgb(192, 192, 192);
+}
+
+/* blocks *******************************************************************/
+
+.spacer {
+   text-align: center;
+}
+
+.head1 {
+   margin: 0.5em 0; 
+   text-align: center;
+   font-weight: bold; 
+   font-size: xx-large;
+}
+
+.head2 {
+   margin: 0.5em 0; 
+   text-align: left;
+   font-weight: bold; 
+   font-size: x-large;
+}
+
+.text {
+   margin: 1em 0; 
+   text-align: left;
+}
+
+/* inline decorations *******************************************************/
+
+.icon32 {
+   border: 0; 
+   width: 32px; 
+   height: 32px;
+}
+
+.rule {
+   border: 0; 
+   height: 4px;
+   width: 100%; 
+}
+
+.w3c {
+   margin: 0 0.5em; 
+   border: 0; 
+   width: 88px; 
+   height: 32px; /* this should be 31px */
+}
+
+/* background colors ********************************************************/
+
+.gray {
+  background-color:#dfdfdf; /* + 7/8 */
+}
+
+.wine {
+  background-color:#ffbfdf; /* + 3/4 */
+}
+
+.magenta {
+  background-color:#ffccff; /* + 4/5 */
+}
+
+.prune {
+  background-color:#e5ccff; /* + 4/5 */
+}
+
+.blue {
+  background-color:#ccccff; /* + 4/5 */
+}
+
+.sky {
+  background-color:#bfdfff; /* + 3/4 */
+}
+
+.cyan {
+  background-color:#bfffff; /* + 3/4 */  
+}
+
+.water {
+  background-color:#ccffe5; /* + 4/5 */ 
+}
+
+.green {
+  background-color:#bfffbf; /* + 3/4 */
+}
+
+.grass {
+  background-color:#dfffbf; /* + 3/4 */
+}
+
+.yellow {
+  background-color:#ffffbf; /* + 3/4 */
+}
+
+.orange {
+  background-color:#ffdfbf; /* + 3/4 */
+}
+
+.red {
+  background-color:#ffbfbf; /* + 3/4 */
+}
diff --git a/helm/www/lambda_delta/css/xhtbl.css b/helm/www/lambda_delta/css/xhtbl.css
new file mode 100644
index 000000000..52d03197b
--- /dev/null
+++ b/helm/www/lambda_delta/css/xhtbl.css
@@ -0,0 +1,98 @@
+@charset "UTF-8";
+
+/* positioning **************************************************************/
+
+table {
+  margin-left: auto;
+  margin-right: auto;
+  width: 100%;
+}
+
+td {
+  border-color:#000000;
+  border-width:1px;
+  color:#000000;
+}
+
+/* content types ************************************************************/
+
+.component {
+  font-style: normal;
+  text-transform: capitalize;
+}
+
+.plane {
+  font-style: normal;
+  text-transform: lowercase;
+}
+
+.file {
+  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:mone solid none none;
+}
+
+td.nsns {
+  border-style:mone 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;
+}
diff --git a/helm/www/lambda_delta/download/PNGnow2.png b/helm/www/lambda_delta/download/PNGnow2.png
deleted file mode 100644
index dc25983fb..000000000
Binary files a/helm/www/lambda_delta/download/PNGnow2.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/b3.png b/helm/www/lambda_delta/download/b3.png
deleted file mode 100644
index 3ed538923..000000000
Binary files a/helm/www/lambda_delta/download/b3.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/b4.png b/helm/www/lambda_delta/download/b4.png
deleted file mode 100644
index ccfd1a99a..000000000
Binary files a/helm/www/lambda_delta/download/b4.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/b5.png b/helm/www/lambda_delta/download/b5.png
deleted file mode 100644
index 30cace1d1..000000000
Binary files a/helm/www/lambda_delta/download/b5.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/b9.png b/helm/www/lambda_delta/download/b9.png
deleted file mode 100644
index 0de559867..000000000
Binary files a/helm/www/lambda_delta/download/b9.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/basic_32.png b/helm/www/lambda_delta/download/basic_32.png
deleted file mode 100644
index 350f6bcb0..000000000
Binary files a/helm/www/lambda_delta/download/basic_32.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/crux_16.ico b/helm/www/lambda_delta/download/crux_16.ico
deleted file mode 100644
index a24185351..000000000
Binary files a/helm/www/lambda_delta/download/crux_16.ico and /dev/null differ
diff --git a/helm/www/lambda_delta/download/crux_32.png b/helm/www/lambda_delta/download/crux_32.png
deleted file mode 100644
index 1a69cca73..000000000
Binary files a/helm/www/lambda_delta/download/crux_32.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/globe_trans.png b/helm/www/lambda_delta/download/globe_trans.png
deleted file mode 100644
index 463b0be80..000000000
Binary files a/helm/www/lambda_delta/download/globe_trans.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/helena_32.png b/helm/www/lambda_delta/download/helena_32.png
deleted file mode 100644
index 4a065aefe..000000000
Binary files a/helm/www/lambda_delta/download/helena_32.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/helena_label.png b/helm/www/lambda_delta/download/helena_label.png
deleted file mode 100644
index 55487ab99..000000000
Binary files a/helm/www/lambda_delta/download/helena_label.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/rainbow.png b/helm/www/lambda_delta/download/rainbow.png
deleted file mode 100644
index 45925baa7..000000000
Binary files a/helm/www/lambda_delta/download/rainbow.png and /dev/null differ
diff --git a/helm/www/lambda_delta/download/xml_xsl2.png b/helm/www/lambda_delta/download/xml_xsl2.png
deleted file mode 100644
index 00d82967b..000000000
Binary files a/helm/www/lambda_delta/download/xml_xsl2.png and /dev/null differ
diff --git a/helm/www/lambda_delta/images/PNGnow2.png b/helm/www/lambda_delta/images/PNGnow2.png
new file mode 100644
index 000000000..dc25983fb
Binary files /dev/null and b/helm/www/lambda_delta/images/PNGnow2.png differ
diff --git a/helm/www/lambda_delta/images/b3.png b/helm/www/lambda_delta/images/b3.png
new file mode 100644
index 000000000..3ed538923
Binary files /dev/null and b/helm/www/lambda_delta/images/b3.png differ
diff --git a/helm/www/lambda_delta/images/b4.png b/helm/www/lambda_delta/images/b4.png
new file mode 100644
index 000000000..ccfd1a99a
Binary files /dev/null and b/helm/www/lambda_delta/images/b4.png differ
diff --git a/helm/www/lambda_delta/images/b5.png b/helm/www/lambda_delta/images/b5.png
new file mode 100644
index 000000000..30cace1d1
Binary files /dev/null and b/helm/www/lambda_delta/images/b5.png differ
diff --git a/helm/www/lambda_delta/images/b9.png b/helm/www/lambda_delta/images/b9.png
new file mode 100644
index 000000000..0de559867
Binary files /dev/null and b/helm/www/lambda_delta/images/b9.png differ
diff --git a/helm/www/lambda_delta/images/basic_32.png b/helm/www/lambda_delta/images/basic_32.png
new file mode 100644
index 000000000..350f6bcb0
Binary files /dev/null and b/helm/www/lambda_delta/images/basic_32.png differ
diff --git a/helm/www/lambda_delta/images/crux_16.ico b/helm/www/lambda_delta/images/crux_16.ico
new file mode 100644
index 000000000..a24185351
Binary files /dev/null and b/helm/www/lambda_delta/images/crux_16.ico differ
diff --git a/helm/www/lambda_delta/images/crux_32.png b/helm/www/lambda_delta/images/crux_32.png
new file mode 100644
index 000000000..1a69cca73
Binary files /dev/null and b/helm/www/lambda_delta/images/crux_32.png differ
diff --git a/helm/www/lambda_delta/images/globe_trans.png b/helm/www/lambda_delta/images/globe_trans.png
new file mode 100644
index 000000000..463b0be80
Binary files /dev/null and b/helm/www/lambda_delta/images/globe_trans.png differ
diff --git a/helm/www/lambda_delta/images/helena_32.png b/helm/www/lambda_delta/images/helena_32.png
new file mode 100644
index 000000000..4a065aefe
Binary files /dev/null and b/helm/www/lambda_delta/images/helena_32.png differ
diff --git a/helm/www/lambda_delta/images/helena_label.png b/helm/www/lambda_delta/images/helena_label.png
new file mode 100644
index 000000000..55487ab99
Binary files /dev/null and b/helm/www/lambda_delta/images/helena_label.png differ
diff --git a/helm/www/lambda_delta/images/rainbow.png b/helm/www/lambda_delta/images/rainbow.png
new file mode 100644
index 000000000..45925baa7
Binary files /dev/null and b/helm/www/lambda_delta/images/rainbow.png differ
diff --git a/helm/www/lambda_delta/images/xml_xsl2.png b/helm/www/lambda_delta/images/xml_xsl2.png
new file mode 100644
index 000000000..00d82967b
Binary files /dev/null and b/helm/www/lambda_delta/images/xml_xsl2.png differ