1 <?xml version="1.0" encoding="UTF-8"?>
4 ||M|| This file is part of HELM, an Hypertextual, Electronic
5 ||A|| Library of Mathematics, developed at the Computer Science
6 ||T|| Department, University of Bologna, Italy.
8 ||T|| HELM is free software; you can redistribute it and/or
9 ||A|| modify it under the terms of the GNU General Public License
10 \ / version 2 or (at your option) any later version.
11 \ / This software is distributed as is, NO WARRANTY.
12 V_______________________________________________________________ -->
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
16 <xsl:variable name="sort">color: rgb(128, 0, 255);</xsl:variable>
17 <xsl:variable name="cast">color: rgb(255, 0, 0);</xsl:variable>
18 <xsl:variable name="binder">color: rgb(0, 160, 0);</xsl:variable>
19 <xsl:variable name="global">color: rgb(0, 0, 255);</xsl:variable>
21 <xsl:template name="sp">
22 <xsl:text> </xsl:text>
25 <xsl:template name="sl">
26 <xsl:text>/</xsl:text>
29 <xsl:template name="fs">
30 <xsl:text>.​</xsl:text>
33 <xsl:template name="op">
34 <xsl:text>(</xsl:text>
37 <xsl:template name="cp">
38 <xsl:text>)</xsl:text>
41 <xsl:template name="oa">
42 <span style="{$cast}">
43 <xsl:text><</xsl:text>
47 <xsl:template name="ca">
48 <span style="{$cast}">
49 <xsl:text>></xsl:text>
53 <xsl:template name="cn">
54 <span style="{$binder}">
55 <xsl:text>:</xsl:text>
59 <xsl:template name="eq">
60 <span style="{$binder}">
61 <xsl:text>=</xsl:text>
65 <xsl:template name="lambda">
66 <span style="{$binder}">
67 <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
71 <xsl:template name="delta">
72 <span style="{$binder}">
73 <xsl:text disable-output-escaping="yes">&delta;</xsl:text>
77 <xsl:template name="chi">
78 <span style="{$binder}">
79 <xsl:text disable-output-escaping="yes">&chi;</xsl:text>
83 <xsl:template name="position">
84 <a name="" title="{@position}">
85 <xsl:value-of select="@name"/>
89 <xsl:template name="uri">
90 <xsl:variable name="url">
91 <xsl:value-of select="$baseurl"/>
92 <xsl:value-of select="substring-after(@uri,'ld:')"/>
93 <xsl:text>.html</xsl:text>
95 <a href="{$url}" title="{@uri}"><xsl:value-of select="@name"/></a>
98 <xsl:template name="binder">
99 <xsl:value-of select="@name"/>
102 <xsl:template name="global">
103 <span style="{$global}">
104 <xsl:value-of select="@name"/>
108 <xsl:template name="mk_segment">
109 <xsl:param name="path"/>
110 <xsl:param name="name"/>
111 <xsl:variable name="url">
112 <xsl:value-of select="$baseurl"/>
113 <xsl:value-of select="substring-after($path,'ld:')"/>
115 <a href="{$url}"><xsl:value-of select="$name"/></a>
116 <xsl:call-template name="sl"/>
119 <xsl:template name="mk_path">
120 <xsl:param name="rpath" select="@uri"/>
121 <xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
123 <xsl:when test="$newrpath">
124 <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>
125 <xsl:call-template name="mk_segment">
126 <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
127 <xsl:with-param name="name" select="substring-before($segment,'/')"/>
129 <xsl:call-template name="mk_path">
130 <xsl:with-param name="rpath" select="$newrpath"/>
134 <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
135 <xsl:value-of select="substring-after(@uri,$path)"/>
140 <xsl:template name="entry">
141 <xsl:call-template name="sp"/>
142 <xsl:call-template name="global"/>
143 <xsl:call-template name="sp"/>
144 <xsl:call-template name="op"/>
145 <xsl:call-template name="mk_path"/>
146 <xsl:call-template name="cp"/>