X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=3fbc83b4515779210127bb0179b07ad20aca34ac;hb=3c6ff3987c3cc5e2df03fb76d07697c28c89c0a8;hp=f95f293a874666c9c08fa0a6d848acde38ac02de;hpb=6b022cf2cccae67144ff045415e748b0b5c3a3d9;p=helm.git diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index f95f293a8..3fbc83b45 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -12,6 +12,16 @@ + +
+ + + + + +
+
+
@@ -132,12 +142,25 @@ + +
+
+
-
  • +
  • +
    + + + + + + + + @@ -158,55 +181,25 @@ - - - - - - - - - - - - - - - - - - - - - - - [Crux logo] - - - - - [Helena logo] - + + + + + + +

    - - - + + + - - + +

    @@ -215,10 +208,6 @@
    - - - - @@ -237,10 +226,10 @@ href="{$baseurl}css/xhtbl.css" /> - +