X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=82ce7d78149c5d24fd4442b892e6128bdf735911;hb=600fba840c748f67593838673a6eb40eab9b68e5;hp=e3d04bbafc88a6381ac5d129a3e6ac104409e93b;hpb=58e83e119ca3829affae2851cd512748131a766b;p=helm.git diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index e3d04bbaf..82ce7d781 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -12,6 +12,16 @@ + +
+ + + + + +
+
+
@@ -141,7 +151,16 @@ -
  • +
  • +
    + + + + + + + + @@ -162,64 +181,33 @@ - - - - - - - - - - - - + + + + + + + - - - - - - - - - [Crux logo] + [Official bronze sponsor of Unicode Consortium] - - - - - [Helena logo] - - - - - [Open Symbolic Notation logo] -

    - - - + + + - - + +

    @@ -228,10 +216,6 @@
    - - - - @@ -250,10 +234,10 @@ href="{$baseurl}css/xhtbl.css" /> - +