From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 17 Nov 2010 22:05:52 +0000 (+0000)
Subject: we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css
X-Git-Tag: make_still_working~2700
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1bcb1921390d24e02d716614648e749bac6f5933;p=helm.git

we are migrating the static htnl pagest to html 4 to xhtml 1.1 + css
---

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index 893d7e3e1..d8aa348f4 100644
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -11,7 +11,7 @@ KEEP = README
 CLEAN = etc/log.txt etc/profile.txt
 
 TAGS = test-si test-si-fast profile xml-si xml-si-crg html test-html \
-       install-html install-lddl install-dtd install-xml
+       install-html install-lddl install-dtd install-xml instal-css
 
 
 XMLS = xml/brg-si/grundlagen/l/not.ld.xml \
@@ -30,6 +30,8 @@ include Makefile.common
 
 INPUT = examples/grundlagen/grundlagen.aut
 
+SLS = helena.sl automath.sl
+
 test-si: $(MAIN).opt etc
 	@echo "  HELENA -p -o -c $(INPUT)"
 	$(H)./$(MAIN).opt -p -o -c -S 3 $(O) $(INPUT) > etc/log.txt
@@ -89,7 +91,11 @@ install-lddl: index
 
 install-dtd: xml/ld.dtd
 	@echo "  INSTALL $<"
-	$(H)scp $< $(XMLDIR) 
+	$(H)scp $< $(XMLDIR)
+
+install-css: xml/ld-html.css
+	@echo "  INSTALL $<"
+	$(H)scp $< $(LDDLDIR)
 
 install-xml: etc/make-html.sh
 	@echo "  INSTALL xml"
@@ -98,3 +104,7 @@ install-xml: etc/make-html.sh
 install-icons:
 	@echo "  INSTALL *.png *.ico"
 	$(H)scp icons/*.png icons/*.ico $(DOWNDIR)
+
+install-jed:
+	@echo "  INSTALL $(SLS)"
+	$(H)scp $(SLS:%=$(HOME)/jed/%) $(DOWNDIR)
diff --git a/helm/software/lambda-delta/xml/ld-html-entity.xsl b/helm/software/lambda-delta/xml/ld-html-entity.xsl
index 84eea2c23..689eb1420 100644
--- a/helm/software/lambda-delta/xml/ld-html-entity.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-entity.xsl
@@ -11,14 +11,18 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:strip-space elements="ABST ABBR"/>
 
 <xsl:template match="ABST">
    <h2>
-      <xsl:text>Declaration:</xsl:text>
-      <xsl:call-template name="entity"/>
+      <span class="global">
+         <xsl:text>Declaration:</xsl:text>
+         <xsl:call-template name="entity"/>
+      </span>      
    </h2>
    <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
@@ -26,8 +30,10 @@
 
 <xsl:template match="ABBR">
    <h2>
-      <xsl:text>Definition:</xsl:text>
-      <xsl:call-template name="entity"/>
+      <span class="global">
+         <xsl:text>Definition:</xsl:text>
+         <xsl:call-template name="entity"/>
+      </span>
    </h2>
    <xsl:call-template name="META"/>
    <div><xsl:apply-templates/></div>
diff --git a/helm/software/lambda-delta/xml/ld-html-library.xsl b/helm/software/lambda-delta/xml/ld-html-library.xsl
index 3120f0960..5cb16515b 100644
--- a/helm/software/lambda-delta/xml/ld-html-library.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-library.xsl
@@ -11,12 +11,9 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
-
-<xsl:variable name="sort">color: rgb(128, 0, 255);</xsl:variable>
-<xsl:variable name="cast">color: rgb(255, 0, 0);</xsl:variable>
-<xsl:variable name="binder">color: rgb(0, 160, 0);</xsl:variable>
-<xsl:variable name="global">color: rgb(0, 0, 255);</xsl:variable>
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:template name="sp">
    <xsl:text> </xsl:text>
@@ -47,81 +44,69 @@
 </xsl:template>
 
 <xsl:template name="ob">
-   <span style="{$binder}">
-      <xsl:text>[</xsl:text>
-   </span>
+   <xsl:text>[</xsl:text>
 </xsl:template>
 
 <xsl:template name="cb">
-   <span style="{$binder}">
-      <xsl:text>]</xsl:text>
-   </span>
+   <xsl:text>]</xsl:text>
 </xsl:template>
 
 <xsl:template name="oa">
-   <span style="{$cast}">
-      <xsl:text>&lt;</xsl:text>
-   </span>
+   <xsl:text>&lt;</xsl:text>
 </xsl:template>
 
 <xsl:template name="ca">
-   <span style="{$cast}">
-      <xsl:text>&gt;</xsl:text>
-   </span>
+   <xsl:text>&gt;</xsl:text>
 </xsl:template>
 
 <xsl:template name="cn">
-   <span style="{$binder}">
-      <xsl:text>:</xsl:text>
-   </span>
+   <xsl:text>:</xsl:text>
 </xsl:template>
 
 <xsl:template name="eq">
-   <span style="{$binder}">
-      <xsl:text>=</xsl:text>
+   <xsl:text>=</xsl:text>
+</xsl:template>
+
+<xsl:template name="multiple">
+   <span class="separator">
+      <xsl:call-template name="cm"/>
    </span>
 </xsl:template>
 
 <xsl:template name="lambda">
-   <a name="" title="{@mark}">
-      <span style="{$binder}">
-         <xsl:choose>
-	    <xsl:when test="@level=0">
-	       <xsl:text disable-output-escaping="yes">&amp;Pi;</xsl:text>
-               <sup><xsl:value-of select="@level"/></sup>
-	    </xsl:when>
-	    <xsl:when test="@level=1">
-	       <xsl:text disable-output-escaping="yes">&amp;Pi;</xsl:text>
-	    </xsl:when>
-	    <xsl:when test="@level=2">
-	       <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
-	    </xsl:when>
-	    <xsl:when test="not(@level)">
-	       <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
-	       <sup><xsl:text disable-output-escaping="yes">&amp;infin;</xsl:text></sup>
-	    </xsl:when>
-	    <xsl:otherwise>
-	       <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
-               <sup><xsl:value-of select="@level"/></sup>
-	    </xsl:otherwise>	    
-         </xsl:choose>
-      </span>
+   <a title="{@mark}">
+      <xsl:choose>
+	 <xsl:when test="@level=0">
+	    <xsl:text disable-output-escaping="yes">&amp;Pi;</xsl:text>
+            <sup><xsl:value-of select="@level"/></sup>
+	 </xsl:when>
+	 <xsl:when test="@level=1">
+	    <xsl:text disable-output-escaping="yes">&amp;Pi;</xsl:text>
+	 </xsl:when>
+	 <xsl:when test="@level=2">
+	    <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+	 </xsl:when>
+	 <xsl:when test="not(@level)">
+	    <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+	    <sup><xsl:text disable-output-escaping="yes">&amp;infin;</xsl:text></sup>
+	 </xsl:when>
+	 <xsl:otherwise>
+	    <xsl:text disable-output-escaping="yes">&amp;lambda;</xsl:text>
+            <sup><xsl:value-of select="@level"/></sup>
+	 </xsl:otherwise>
+      </xsl:choose>
    </a>
 </xsl:template>
 
 <xsl:template name="delta">
-   <a name="" title="{@mark}">
-      <span style="{$binder}">
-         <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
-      </span>
+   <a title="{@mark}">
+      <xsl:text disable-output-escaping="yes">&amp;delta;</xsl:text>
    </a>
 </xsl:template>
 
 <xsl:template name="chi">
-   <a name="" title="{@mark}">
-      <span style="{$binder}">
-         <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
-      </span>
+   <a title="{@mark}">
+      <xsl:text disable-output-escaping="yes">&amp;chi;</xsl:text>
    </a>
 </xsl:template>
 
@@ -133,7 +118,7 @@
 	 <xsl:value-of select="@offset"/>
       </xsl:if>
    </xsl:variable>
-   <a name="" title="{$index}">
+   <a title="{$index}">
       <xsl:value-of select="@name"/>
    </a>
 </xsl:template>
@@ -148,24 +133,24 @@
 </xsl:template>
 
 <xsl:template name="global">
-   <span style="{$global}">
-      <a name="" title="{@mark}">
-         <xsl:value-of select="@name"/>
-      </a>
-   </span>
+   <a title="{@mark}">
+      <xsl:value-of select="@name"/>
+   </a>
 </xsl:template>
 
 <xsl:template name="mk_names">
    <xsl:param name="names">
       <xsl:value-of select="normalize-space(@name)"/>
-      <xsl:call-template name="sp"/>   
+      <xsl:call-template name="sp"/>
    </xsl:param>
-   <xsl:param name="sep" select="false()"/>  
+   <xsl:param name="sep" select="false()"/>
    <xsl:if test="$names and $sep">
-      <xsl:call-template name="cm"/>
+      <xsl:call-template name="multiple"/>
    </xsl:if>
    <xsl:if test="$names">
-      <xsl:value-of select="substring-before($names, ' ')"/>
+      <span class="lref">
+         <xsl:value-of select="substring-before($names, ' ')"/>
+      </span>
       <xsl:call-template name="mk_names">
          <xsl:with-param name="names" select="substring-after($names, ' ')"/>
          <xsl:with-param name="sep" select="true()"/>
@@ -177,7 +162,7 @@
    <xsl:for-each select="*">
       <xsl:apply-templates select="."/>
       <xsl:if test="(name()='Sort' or name()='LRef' or name()='GRef') and position()!=last()">
-         <xsl:call-template name="cm"/>
+         <xsl:call-template name="multiple"/>
       </xsl:if>
    </xsl:for-each>
 </xsl:template>
@@ -189,14 +174,13 @@
       <xsl:with-param name="sep-seq" select="$sep-seq"/>
    </xsl:call-template>
    <xsl:call-template name="cb"/>
-   <xsl:call-template name="fs"/>
 </xsl:template>
 
 <xsl:template name="mk_binder_rec1">
    <xsl:param name="sep-seq"/>
    <xsl:param name="names">
       <xsl:value-of select="normalize-space(@name)"/>
-      <xsl:call-template name="sp"/>   
+      <xsl:call-template name="sp"/>
    </xsl:param>
    <xsl:param name="sep" select="false()"/>
    <xsl:param name="start" select="true()"/>
@@ -204,9 +188,11 @@
    <xsl:choose>
       <xsl:when test="$start and $pos &lt;= count(*)">
          <xsl:if test="$names and $sep">
-            <xsl:call-template name="cm"/>
+            <xsl:call-template name="multiple"/>
          </xsl:if>
-         <xsl:value-of select="substring-before($names, ' ')"/>
+         <span class="lref">
+	    <xsl:value-of select="substring-before($names, ' ')"/>
+	 </span>
          <xsl:copy-of select="$sep-seq"/>
 	 <xsl:call-template name="mk_binder_rec2">
             <xsl:with-param name="names" select="substring-after($names, ' ')"/>
@@ -219,7 +205,7 @@
             <xsl:with-param name="names" select="$names"/>
             <xsl:with-param name="pos" select="$pos"/>
             <xsl:with-param name="sep-seq" select="$sep-seq"/>
-         </xsl:call-template>      
+         </xsl:call-template>
       </xsl:when>
    </xsl:choose>
 </xsl:template>
@@ -235,7 +221,7 @@
       <xsl:with-param name="sep" select="true()"/>
       <xsl:with-param name="start" select="name(*[$pos])='Sort' or name(*[$pos])='LRef' or name(*[$pos])='GRef'"/>
       <xsl:with-param name="pos" select="$pos+1"/>
-   </xsl:call-template>      
+   </xsl:call-template>
 </xsl:template>
 
 <xsl:template name="mk_segment">
@@ -254,7 +240,7 @@
    <xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
    <xsl:choose>
       <xsl:when test="$newrpath">
-         <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>   
+         <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>
          <xsl:call-template name="mk_segment">
             <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
             <xsl:with-param name="name" select="substring-before($segment,'/')"/>
@@ -272,15 +258,19 @@
 
 <xsl:template name="entity">
    <xsl:call-template name="sp"/>
-   <xsl:call-template name="global"/>
+   <span class="gref">   
+      <xsl:call-template name="global"/>
+   </span>
    <xsl:call-template name="sp"/>
    <xsl:call-template name="op"/>
-   <xsl:call-template name="mk_path"/>
+   <span class="gref">
+      <xsl:call-template name="mk_path"/>
+   </span>
    <xsl:call-template name="cp"/>
 </xsl:template>
 
 <xsl:template name="META">
-   <div>Informal description: "<xsl:value-of select="@meta"/>"</div><h2/>
+   <div>Informal description: "<xsl:value-of select="@meta"/>"</div><br/>
 </xsl:template>
 
 <xsl:template name="ld">
diff --git a/helm/software/lambda-delta/xml/ld-html-root.xsl b/helm/software/lambda-delta/xml/ld-html-root.xsl
index 4a525a742..242baf286 100644
--- a/helm/software/lambda-delta/xml/ld-html-root.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-root.xsl
@@ -11,20 +11,28 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:strip-space elements="ENTITY"/>
 
 <xsl:template match="/">
-   <html><head>
-      <meta content="Ferruccio Guidi" name="author"/>
-      <meta content="lambda-delta digital library" name="description"/>
+   <html xmlns="http://www.w3.org/1999/xhtml"><head>
+      <meta http-equiv="Content-Language" content="en-us"/>
+      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+      <meta http-equiv="Content-Style-Type" content="text/css"/>
+      <meta name="author" content="Ferruccio Guidi"/>
+      <meta name="description" content="lambda-delta digital library"/>
       <title>lambda-delta digital library (LDDL)</title>
+      <link rel="stylesheet" type="text/css"
+            href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
+      />
       <link rel="shortcut icon" 
             href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
       />
    </head><body>
-      <div style="text-align: center;"><h2/>         
+      <div style="text-align: center;"><br/>         
 	 <a href="http://helm.cs.unibo.it/lambda-delta/">
          <img style="border: 0px solid; width: 32px; height: 32px;" 
 	      alt="[lambda-delta home]" title="lambda-delta home"
@@ -40,13 +48,19 @@
 		       margin-left: auto; margin-right: auto;"
          ><tbody><tr><td style="vertical-align: top;">
 	    <xsl:apply-templates/>
-	 </td></tr></tbody></table><h2/>
+	 </td></tr></tbody></table><br/>
          <a href="http://validator.w3.org/check?uri=referer">
-         <img alt="[Valid HTML 4.01 Transitional]"
-	      title="Valid HTML 4.01 Transitional"
-              src="http://www.w3.org/Icons/valid-html401"
+	 <img alt="[Valid XHTML 1.1]"
+	      title="Valid XHTML 1.1"
+	      src="http://www.w3.org/Icons/valid-xhtml11"
               style="border: 0px solid ; width: 88px; height: 31px;"
-         /></a>
+	 /></a>
+         <a href="http://jigsaw.w3.org/css-validator/check/referer">
+         <img alt="[Valid CSS]"
+	      title="Valid CSS"
+	      src="http://jigsaw.w3.org/css-validator/images/vcss"
+	      style="border: 0; width:88px; height:31px;"
+	 /></a>
 	 <a href="http://www.anybrowser.org/campaign/">
 	 <img alt="[Use any browser here]"
 	      title="Use any browser here"
@@ -58,12 +72,12 @@
 	      title="PNG used here"
 	      src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
 	 />
-      <h2/></div>
+      <br/></div>
    </body></html>
 </xsl:template>
 
 <xsl:template match="ENTITY">
-   <xsl:apply-templates/><h2/>
+   <xsl:apply-templates/><br/>
    <div>
       Validation parameters:
       sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
diff --git a/helm/software/lambda-delta/xml/ld-html-term.xsl b/helm/software/lambda-delta/xml/ld-html-term.xsl
index 4edec396f..4e0c488b5 100644
--- a/helm/software/lambda-delta/xml/ld-html-term.xsl
+++ b/helm/software/lambda-delta/xml/ld-html-term.xsl
@@ -11,62 +11,86 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:strip-space elements="Sort LRef GRef Cast Appl Abst Abbr Void"/>
 
+<xsl:template name="separator">
+   <span class="separator">
+      <xsl:call-template name="fs"/>
+   </span>
+</xsl:template>
+
 <xsl:template match="Sort">
-   <span style="{$sort}">
+   <span class="sort">
       <xsl:call-template name="position"/>
    </span>
 </xsl:template>
 
 <xsl:template match="LRef">
-   <xsl:call-template name="position"/>
+   <span class="lref">
+      <xsl:call-template name="position"/>
+   </span>
 </xsl:template>
 
 <xsl:template match="GRef">
-   <xsl:call-template name="uri"/>
+   <span class="gref">
+      <xsl:call-template name="uri"/>
+   </span>
 </xsl:template>
 
 <xsl:template match="Cast">
-   <xsl:call-template name="oa"/>
-   <xsl:apply-templates/>
-   <xsl:call-template name="ca"/>   
-   <xsl:call-template name="fs"/>   
+   <span class="cast">
+      <xsl:call-template name="oa"/>
+      <xsl:apply-templates/>
+      <xsl:call-template name="ca"/>
+   </span>
+   <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="Appl">
-   <xsl:call-template name="op"/>   
-   <xsl:call-template name="mk_terms"/>
-   <xsl:call-template name="cp"/>
-   <xsl:call-template name="fs"/>   
+   <span class="appl">
+      <xsl:call-template name="op"/>
+      <xsl:call-template name="mk_terms"/>
+      <xsl:call-template name="cp"/>
+   </span>
+   <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="Abst">
-   <xsl:call-template name="lambda"/>
-   <xsl:call-template name="mk_binder">
-      <xsl:with-param name="sep-seq">
-         <xsl:call-template name="cn"/>
-      </xsl:with-param>
-   </xsl:call-template>
+   <span class="local">
+      <xsl:call-template name="lambda"/>
+      <xsl:call-template name="mk_binder">
+         <xsl:with-param name="sep-seq">
+            <xsl:call-template name="cn"/>
+         </xsl:with-param>
+      </xsl:call-template>
+   </span>
+   <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="Abbr">
-   <xsl:call-template name="delta"/>
-   <xsl:call-template name="mk_binder">
-      <xsl:with-param name="sep-seq">
-         <xsl:call-template name="eq"/>
-      </xsl:with-param>
-   </xsl:call-template>
+   <span class="local">
+      <xsl:call-template name="delta"/>
+      <xsl:call-template name="mk_binder">
+         <xsl:with-param name="sep-seq">
+            <xsl:call-template name="eq"/>
+         </xsl:with-param>
+      </xsl:call-template>
+   </span>
+   <xsl:call-template name="separator"/>
 </xsl:template>
 
 <xsl:template match="Void">
-   <xsl:call-template name="chi"/>
-   <xsl:call-template name="ob"/>
-   <xsl:call-template name="mk_names"/>
-   <xsl:call-template name="cb"/>
-   <xsl:call-template name="fs"/>
+   <span class="local">
+      <xsl:call-template name="chi"/>
+      <xsl:call-template name="ob"/>
+      <xsl:call-template name="mk_names"/>
+      <xsl:call-template name="cb"/>
+   </span>
+   <xsl:call-template name="separator"/>
 </xsl:template>
 
 </xsl:stylesheet>
diff --git a/helm/software/lambda-delta/xml/ld-html.css b/helm/software/lambda-delta/xml/ld-html.css
new file mode 100644
index 000000000..54728c805
--- /dev/null
+++ b/helm/software/lambda-delta/xml/ld-html.css
@@ -0,0 +1,41 @@
+@charset "UTF-8";
+
+a:link, a:visited {
+   text-decoration: underline;
+}
+
+a:active, a:hover, a:focus {
+   background: rgb(192, 255, 255);
+}
+
+.separator {
+   color: rgb(0, 0, 0);
+}
+
+.sort {
+   color: rgb(128, 0, 255);
+}
+
+.lref {
+   color: rgb(0, 0, 0);
+}
+
+.gref {
+   color: rgb(0, 0, 255);
+}
+
+.appl {
+   color: rgb(0, 0, 0);
+}
+
+.cast {
+   color: rgb(255, 0, 0);
+}
+
+.local {
+   color: rgb(0, 160, 0);
+}
+
+.global {
+   color: rgb(0, 0, 0);
+}
diff --git a/helm/software/lambda-delta/xml/ld-html.xsl b/helm/software/lambda-delta/xml/ld-html.xsl
index b5ed85342..d21a6bbf9 100644
--- a/helm/software/lambda-delta/xml/ld-html.xsl
+++ b/helm/software/lambda-delta/xml/ld-html.xsl
@@ -11,7 +11,9 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ -->
 
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                              xmlns="http://www.w3.org/1999/xhtml"
+>
 
 <xsl:param name="baseurl"/>
 
@@ -21,9 +23,9 @@
 <xsl:include href="ld-html-root.xsl"/>
 
 <xsl:output 
-   method="html"
-   doctype-system="http://www.w3.org/TR/html4/loose.dtd"
-   doctype-public="-//W3C//DTD HTML 4.01 Transitional//EN"
+   method="xml"
+   doctype-public="-//W3C//DTD XHTML 1.1//EN"
+   doctype-system="http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"   
    encoding="UTF-8"
    indent="no"
 />