X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=f5cdfbed0464e7c055d161de1d28682471a90a11;hb=21e21b3b061807035bbd18d29d7a4fd8086ca10d;hp=3d30e6315a0acc9bbf772a4f1cfed2e3b72b4d0f;hpb=25577a78cccba09974c91fcbfea770091a413382;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 3d30e6315..f5cdfbed0 100644
--- a/helm/www/lambdadelta/xslt/ld_web_root.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl
@@ -12,6 +12,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -52,6 +62,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -62,6 +82,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -112,60 +142,77 @@
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
-
-
-
-
-
+
+
-
-
-
-
-
+
+
-
-
-
+
+
+
+
+
+
+
-
-
+
-
-
-
-
+
+
+
-
-
+
+
@@ -174,10 +221,6 @@
-
-
-
-
@@ -196,14 +239,20 @@
href="{$baseurl}css/xhtbl.css"
/>
-
+
+
+
+
+
+
+