fix

diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile
new file mode 100644 (file)
index 0000000..128fda0
--- /dev/null
+++ b/helm/matita_homepage/Makefile
@@ -0,0 +1,14 @@
+MARGIN_X=30
+MARGIN_Y=206
+SIZE_X=426
+SIZE_Y=70
+
+all: matita.xcf
+       convert matita.xcf matita.png
+       for Y in `seq 0 3`; do \
+               convert 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;\
+       done;\
+       rm tmp.png              
+

diff --git a/helm/matita_homepage/matita.html b/helm/matita_homepage/matita.html
index e661c3b012dd8954c6566f2fbcf46700a09aa8fa..734266db5e4a9c9b7d5a82c7845c790461ad7e73 100644 (file)
--- a/helm/matita_homepage/matita.html
+++ b/helm/matita_homepage/matita.html
@@ -23,22 +23,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(bg.png) ; top: 0px}
+  dd#developersDef a:hover{ position: absolute; background: transparent url(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(bg.png) ; top: 0px}
+  dd#documentationDef a:hover{ position: absolute; background: transparent url(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(bg.png) ; top: 0px}
+  dd#communityDef a:hover{ position: absolute; background: transparent url(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(bg.png) ; top: 0px}
+  dd#downloadDef a:hover{ position: absolute; background: transparent url(bg3.png) ; top: 0px}
 
  div#ex {margin-left:auto; margin-right:auto}
  </style>

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