X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Fld_web.xsl;h=61c64b8fb0b34a8b939f52524377fb1d560eb313;hb=150f931929c8333dbcfff8dbe77fb2e177f44c56;hp=dd091dcd30927f8cf008d71a9c306648125b0bc8;hpb=cc072ef7058246bbc0deaf3e44a75b0e5977df65;p=helm.git

diff --git a/helm/www/lambdadelta/xslt/ld_web.xsl b/helm/www/lambdadelta/xslt/ld_web.xsl
index dd091dcd3..61c64b8fb 100644
--- a/helm/www/lambdadelta/xslt/ld_web.xsl
+++ b/helm/www/lambdadelta/xslt/ld_web.xsl
@@ -7,7 +7,10 @@
 <xsl:param name="baseurl"/>
 <xsl:param name="date"/>
 
+<xsl:strip-space elements="*"/>
+
 <xsl:include href="xhtbl.xsl"/>
+<xsl:include href="ld_web_ebnf.xsl"/>
 <xsl:include href="ld_web_library.xsl"/>
 <xsl:include href="ld_web_root.xsl"/>
 
@@ -16,7 +19,6 @@
    doctype-public="-//W3C//DTD XHTML 1.1//EN"
    doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
    encoding="UTF-8"
-   indent="yes"
 />
 
 </xsl:stylesheet>