X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fxml%2Fld-html-library.xsl;h=5cb16515b28c7853de3c40259da974bd81a9fcf8;hb=9e9a16a3568a14f5db43b664d094a66260d5c20a;hp=3120f09609e79f7fc44e01fc71fe127327559997;hpb=cee0c3ca597ebbff2250674c255ed1bc909521fb;p=helm.git

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">