]> matita.cs.unibo.it Git - helm.git/commitdiff
- xhtbl.css is ready!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Oct 2011 20:52:52 +0000 (20:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Oct 2011 20:52:52 +0000 (20:52 +0000)
- images ar now in a dedicated directory

29 files changed:
helm/www/lambda_delta/css/ld.css [deleted file]
helm/www/lambda_delta/css/ld_web.css [new file with mode: 0644]
helm/www/lambda_delta/css/xhtbl.css [new file with mode: 0644]
helm/www/lambda_delta/download/PNGnow2.png [deleted file]
helm/www/lambda_delta/download/b3.png [deleted file]
helm/www/lambda_delta/download/b4.png [deleted file]
helm/www/lambda_delta/download/b5.png [deleted file]
helm/www/lambda_delta/download/b9.png [deleted file]
helm/www/lambda_delta/download/basic_32.png [deleted file]
helm/www/lambda_delta/download/crux_16.ico [deleted file]
helm/www/lambda_delta/download/crux_32.png [deleted file]
helm/www/lambda_delta/download/globe_trans.png [deleted file]
helm/www/lambda_delta/download/helena_32.png [deleted file]
helm/www/lambda_delta/download/helena_label.png [deleted file]
helm/www/lambda_delta/download/rainbow.png [deleted file]
helm/www/lambda_delta/download/xml_xsl2.png [deleted file]
helm/www/lambda_delta/images/PNGnow2.png [new file with mode: 0644]
helm/www/lambda_delta/images/b3.png [new file with mode: 0644]
helm/www/lambda_delta/images/b4.png [new file with mode: 0644]
helm/www/lambda_delta/images/b5.png [new file with mode: 0644]
helm/www/lambda_delta/images/b9.png [new file with mode: 0644]
helm/www/lambda_delta/images/basic_32.png [new file with mode: 0644]
helm/www/lambda_delta/images/crux_16.ico [new file with mode: 0644]
helm/www/lambda_delta/images/crux_32.png [new file with mode: 0644]
helm/www/lambda_delta/images/globe_trans.png [new file with mode: 0644]
helm/www/lambda_delta/images/helena_32.png [new file with mode: 0644]
helm/www/lambda_delta/images/helena_label.png [new file with mode: 0644]
helm/www/lambda_delta/images/rainbow.png [new file with mode: 0644]
helm/www/lambda_delta/images/xml_xsl2.png [new file with mode: 0644]

diff --git a/helm/www/lambda_delta/css/ld.css b/helm/www/lambda_delta/css/ld.css
deleted file mode 100644 (file)
index 92d2e8d..0000000
+++ /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 (file)
index 0000000..a877978
--- /dev/null
@@ -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 (file)
index 0000000..52d0319
--- /dev/null
@@ -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 (file)
index dc25983..0000000
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 (file)
index 3ed5389..0000000
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 (file)
index ccfd1a9..0000000
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 (file)
index 30cace1..0000000
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 (file)
index 0de5598..0000000
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 (file)
index 350f6bc..0000000
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 (file)
index a241853..0000000
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 (file)
index 1a69cca..0000000
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 (file)
index 463b0be..0000000
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 (file)
index 4a065ae..0000000
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 (file)
index 55487ab..0000000
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 (file)
index 45925ba..0000000
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 (file)
index 00d8296..0000000
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 (file)
index 0000000..dc25983
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 (file)
index 0000000..3ed5389
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 (file)
index 0000000..ccfd1a9
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 (file)
index 0000000..30cace1
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 (file)
index 0000000..0de5598
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 (file)
index 0000000..350f6bc
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 (file)
index 0000000..a241853
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 (file)
index 0000000..1a69cca
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 (file)
index 0000000..463b0be
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 (file)
index 0000000..4a065ae
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 (file)
index 0000000..55487ab
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 (file)
index 0000000..45925ba
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 (file)
index 0000000..00d8296
Binary files /dev/null and b/helm/www/lambda_delta/images/xml_xsl2.png differ