X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=d1faf246e920198a5c470110b7edf6168b39d67e;hp=a6b25cb6fc2d9d3cf1d9dab7e41ab7b5cf89c18e;hb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc;hpb=b7395f3e72f7c8db2d81ef8abc8549695c089eca
diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index a6b25cb6f..d1faf246e 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 @@
+
+
+
+
+
+
+
+
+
+
@@ -82,7 +112,7 @@
@@ -112,60 +142,86 @@
+
+
+
+
-
+
-
-
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
-
+
+
+
+
+
+
+
+
-
-
-
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
-
-
+
+
@@ -174,10 +230,6 @@
-
-
-
-
@@ -196,14 +248,20 @@
href="{$baseurl}css/xhtbl.css"
/>
-
+
+
+
+
+
+
+