X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fmatita.html;h=734266db5e4a9c9b7d5a82c7845c790461ad7e73;hb=5e0764914e950db0cfb0192b45424b21882068f2;hp=e661c3b012dd8954c6566f2fbcf46700a09aa8fa;hpb=2f96ed63a40e2996bb4a249968e90fd0eef3f580;p=helm.git 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}