]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/xslt/lddl_library.xsl
grundlagen web pages updated
[helm.git] / helm / www / lambdadelta / xslt / lddl_library.xsl
index a126c9ba4e1ad38ff935cf639686e7444fa72490..3685e8a7123f0ef86e52abc45ee0d7c0b80b03e2 100644 (file)
@@ -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">
 </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">
       </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>
 </xsl:template>
 
 <xsl:template name="layer">
-   <xhtml:sup>
+   <style class="sup">
       <xsl:choose>
          <xsl:when test="@layer">
             <xsl:value-of select="@layer"/>
             <xsl:call-template name="infinity"/>
          </xsl:otherwise>
       </xsl:choose>
-   </xhtml:sup>
+   </style>
 </xsl:template>
 
 <xsl:template name="abst">
    <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>
 <!--
 
 <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">