X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fmatita.shtml;h=245cba1c3898c46c393abe70a1c4c8f263698220;hb=4e238c92f66aedf21c2d3a33aa5215cdf0a7189f;hp=2bf6a2119984b97d5ed56ecf36d25fe60edae50a;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git diff --git a/helm/www/matita/matita.shtml b/helm/www/matita/matita.shtml index 2bf6a2119..245cba1c3 100644 --- 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} @@ -47,7 +47,7 @@

1. Developers

- -