- moved images in images/

- now all pages are valid xhtml 1.0 strict

diff --git a/helm/www/matita/Makefile b/helm/www/matita/Makefile
index 836c264c8fe890f8977b983c1a903797fae7f289..1f5d2d3c5986b99b12c36b38c53b85da7fde49ac 100644 (file)
--- a/helm/www/matita/Makefile
+++ b/helm/www/matita/Makefile
@@ -5,16 +5,16 @@ SIZE_Y=70
 
 SEQ=3
 
-all: matita.xcf
+all: images/matita.xcf
        for Y in `seq 0 $(SEQ)`; do \
-               convert matita.png -crop \
+               convert images/matita.png -crop \
                        $(SIZE_X)x$(SIZE_Y)+$(MARGIN_X)+`expr $(MARGIN_Y) + $$Y '*' '(' $(SIZE_Y) + 1 ')'` tmp.png; \
-               composite -compose src-over bg.png tmp.png bg$$Y.png;\
+               composite -compose src-over images/bg.png tmp.png images/bg$$Y.png;\
        done;\
        rm tmp.png              
 
 clean:
        for X in `seq 0 $(SEQ)`; do\
-               rm bg$$X.png;\
+               rm images/bg$$X.png;\
        done
 

diff --git a/helm/www/matita/bg.png b/helm/www/matita/bg.png
deleted file mode 100644 (file)
index a3d5532..0000000
Binary files a/helm/www/matita/bg.png and /dev/null differ

diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml
index edb173b45da5dd3bb0c11aeab79faeb24b1fdbd4..fdd4905263da6432acaf2293b1d8f3d4992ca2e9 100644 (file)
--- a/helm/www/matita/bottombar.shtml
+++ b/helm/www/matita/bottombar.shtml
@@ -11,3 +11,4 @@
 
   </tr>
 </table>
+<!-- $Id$ -->

diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml
index 0b7c82d9d77d8c6bb5df11e5aa5f9f9da7b739d0..8d284de031b5fc9972a3a1a83ecbb71e793c19b1 100644 (file)
--- a/helm/www/matita/community.shtml
+++ b/helm/www/matita/community.shtml
@@ -13,3 +13,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->

diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml
index f99082eefed7eeab7d9a641b50c725052c96c706..85b831f394aa29b4afbf6c50d3e5668c4e55d397 100644 (file)
--- a/helm/www/matita/developers.shtml
+++ b/helm/www/matita/developers.shtml
@@ -32,3 +32,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->

diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml
index 2ab98e1f2e010570ef63a35a5ee75eeb15efe8a6..3046178a3f3565568a960b34ce3bd5c00127fb98 100644 (file)
--- a/helm/www/matita/documentation.shtml
+++ b/helm/www/matita/documentation.shtml
@@ -13,3 +13,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->

diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml
index 86f442d3ae65cd56d2f348382a163960b1e9c1c2..ccf44ed3bee3beaf460f3bf4a11275b8b013de9a 100644 (file)
--- a/helm/www/matita/download.shtml
+++ b/helm/www/matita/download.shtml
@@ -18,3 +18,4 @@
     <!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
+<!-- $Id$ -->

diff --git a/helm/www/matita/images/bg.png b/helm/www/matita/images/bg.png
new file mode 100644 (file)
index 0000000..a3d5532
Binary files /dev/null and b/helm/www/matita/images/bg.png differ

diff --git a/helm/www/matita/images/matita.png b/helm/www/matita/images/matita.png
new file mode 100644 (file)
index 0000000..7ef6f4b
Binary files /dev/null and b/helm/www/matita/images/matita.png differ

diff --git a/helm/www/matita/images/matita.xcf b/helm/www/matita/images/matita.xcf
new file mode 100644 (file)
index 0000000..d4b1804
Binary files /dev/null and b/helm/www/matita/images/matita.xcf differ

diff --git a/helm/www/matita/matita.png b/helm/www/matita/matita.png
deleted file mode 100644 (file)
index 7ef6f4b..0000000
Binary files a/helm/www/matita/matita.png and /dev/null differ

diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml
index 2bf6a2119984b97d5ed56ecf36d25fe60edae50a..245cba1c3898c46c393abe70a1c4c8f263698220 100644 (file)
--- a/helm/www/matita/matita.shtml
+++ b/helm/www/matita/matita.shtml
@@ -12,7 +12,7 @@
        margin-right:auto;
        margin-top:50px;
        padding: 0;
-       background: url(matita.png) top left no-repeat;
+       background: url(images/matita.png) top left no-repeat;
        height: 590px;
        width: 485px; 
        position: relative;
@@ -24,22 +24,22 @@
   dd#developersDef{ top: 206px; left: 30px; }
   dd#developersDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#developersDef a span{ display: none; }
-  dd#developersDef a:hover{ position: absolute; background: transparent url(bg0.png) ; top: 0px}
+  dd#developersDef a:hover{ position: absolute; background: transparent url(images/bg0.png) ; top: 0px}
   
   dd#documentationDef{ top: 277px; left: 30px; }
   dd#documentationDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#documentationDef a span{ display: none; }
-  dd#documentationDef a:hover{ position: absolute; background: transparent url(bg1.png) ; top: 0px}
+  dd#documentationDef a:hover{ position: absolute; background: transparent url(images/bg1.png) ; top: 0px}
   
   dd#communityDef{ top: 348px; left: 30px; }
   dd#communityDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#communityDef a span{ display: none; }
-  dd#communityDef a:hover{ position: absolute; background: transparent url(bg2.png) ; top: 0px}
+  dd#communityDef a:hover{ position: absolute; background: transparent url(images/bg2.png) ; top: 0px}
   
   dd#downloadDef{ top: 419px; left: 30px; }
   dd#downloadDef a{ position: absolute; width: 426px; height: 70px; text-decoration: none; }
   dd#downloadDef a span{ display: none; }
-  dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
+  dd#downloadDef a:hover{ position: absolute; background: transparent url(images/bg3.png) ; top: 0px}
 
  div#ex {margin-left:auto; margin-right:auto}
  </style>
@@ -47,7 +47,7 @@
   <body>
 
 <div id="ex" >
-<img src="matita.png" width="485" height="590" border="0" class="image" />
+<img src="images/matita.png" width="485" height="590" border="0" class="image" />
 
     <dl id="matitaMap">
      <dt id="developers">1. Developers</dt>
@@ -61,8 +61,6 @@
     </dl>
     <div>
   
-<!--#include virtual="bottombar.shtml" -->
   </body>
 </html>
-
 <!-- $Id$ -->

diff --git a/helm/www/matita/matita.xcf b/helm/www/matita/matita.xcf
deleted file mode 100644 (file)
index d4b1804..0000000
Binary files a/helm/www/matita/matita.xcf and /dev/null differ