X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fxslt%2Flddl_library.xsl;h=3685e8a7123f0ef86e52abc45ee0d7c0b80b03e2;hp=a126c9ba4e1ad38ff935cf639686e7444fa72490;hb=21e21b3b061807035bbd18d29d7a4fd8086ca10d;hpb=a82d87a4c2ff9f518385fba7357dafb632a22882

diff --git a/helm/www/lambdadelta/xslt/lddl_library.xsl b/helm/www/lambdadelta/xslt/lddl_library.xsl
index a126c9ba4..3685e8a71 100644
--- a/helm/www/lambdadelta/xslt/lddl_library.xsl
+++ b/helm/www/lambdadelta/xslt/lddl_library.xsl
@@ -13,7 +13,6 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns="http://lambdadelta.info/"
-                              xmlns:xhtml="http://www.w3.org/1999/xhtml"
 >
 
 <xsl:template name="sp">
@@ -121,13 +120,13 @@
 </xsl:template>
 
 <xsl:template name="global">
-   <xhtml:span class="global" title="{@position}">
+   <style class="global" title="{@position}">
       <xsl:value-of select="@name"/>
-   </xhtml:span>
+   </style>
 </xsl:template>
 
 <xsl:template name="lddlurl">
-   <xsl:value-of select="'static/lddl'"/>
+   <xsl:value-of select="'html/lddl'"/>
 </xsl:template>
 
 <xsl:template name="mk_segment">
@@ -157,9 +156,9 @@
       </xsl:when>
       <xsl:otherwise>
          <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
-         <xhtml:span class="global">
+         <style class="global">
 	    <xsl:value-of select="substring-after(@uri,$path)"/>
-         </xhtml:span>
+         </style>
       </xsl:otherwise>
    </xsl:choose>
 </xsl:template>
@@ -174,7 +173,7 @@
 </xsl:template>
 
 <xsl:template name="layer">
-   <xhtml:sup>
+   <style class="sup">
       <xsl:choose>
          <xsl:when test="@layer">
             <xsl:value-of select="@layer"/>
@@ -183,7 +182,7 @@
             <xsl:call-template name="infinity"/>
          </xsl:otherwise>
       </xsl:choose>
-   </xhtml:sup>
+   </style>
 </xsl:template>
 
 <xsl:template name="abst">
@@ -240,15 +239,15 @@
    <xsl:variable name="last">
       <xsl:value-of select="last()"/>
    </xsl:variable>
-   <xhtml:span class="separator" title="{$pos} {$last}">
+   <style class="separator" title="{$pos} {$last}">
       <xsl:call-template name="fs"/>
-   </xhtml:span>
+   </style>
 -->
    <xsl:choose>
       <xsl:when test="last()>position()">
-         <xhtml:span class="separator">
+         <style class="separator">
             <xsl:call-template name="fs"/>
-         </xhtml:span>
+         </style>
       </xsl:when>
    </xsl:choose>
 </xsl:template>
@@ -256,9 +255,9 @@
 <!--
 
 <xsl:template name="multiple">
-   <xhtml:span class="separator">
+   <style class="separator">
       <xsl:call-template name="cm"/>
-   </xhtml:span>
+   </style>
 </xsl:template>
 
 <xsl:template name="mk_terms">