From: Enrico Tassi Date: Mon, 12 Dec 2005 13:46:55 +0000 (+0000) Subject: fix X-Git-Tag: make_still_working~8024 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=887f1029936b45cd69973bbeccc1baf736bd1571;hp=ad67dbbe203cbb42e6d893bd268ebaf01bd2dd14;p=helm.git fix --- diff --git a/helm/matita_homepage/Makefile b/helm/matita_homepage/Makefile new file mode 100644 index 000000000..128fda049 --- /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 e661c3b01..734266db5 100644 --- 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} diff --git a/helm/matita_homepage/matita.png b/helm/matita_homepage/matita.png deleted file mode 100644 index 38a36b77d..000000000 Binary files a/helm/matita_homepage/matita.png and /dev/null differ