X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web_root.xsl;h=82ce7d78149c5d24fd4442b892e6128bdf735911;hb=4407db5bba0f96916a85648a337648da047fd03d;hp=014d2e65ed3f39a47a7269115c6581e979c16bff;hpb=85155a59a3986914b005d7e7edd7351d8090e234;p=helm.git
diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl
index 014d2e65e..82ce7d781 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,55 +142,72 @@
+
+
+
+
-
+
-
-
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
-
-
-
-
+
+
+
-
-
+
+
@@ -169,10 +216,6 @@
-
-
-
-
@@ -191,14 +234,20 @@
href="{$baseurl}css/xhtbl.css"
/>
-
+
+
+
+
+
+
+