]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_root.xsl
- initial description of OSN
[helm.git] / helm / www / lambdadelta / xslt / ld_web_root.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <xsl:stylesheet version="1.0"
4                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
5                 xmlns:ld="http://lambdadelta.info/"
6                 xmlns="http://www.w3.org/1999/xhtml"
7 >
8
9 <xsl:template match="ld:section">
10    <div class="head2sn" id="{@name}">
11       <xsl:apply-templates/>
12    </div>
13 </xsl:template>
14
15 <xsl:template match="ld:section3">
16    <div class="head2dx" id="{@name}">
17       <xsl:apply-templates/>
18       <xsl:call-template name="sp"/>
19       <xsl:call-template name="butterfly">
20          <xsl:with-param name="name" select="3"/>
21       </xsl:call-template>
22    </div>
23 </xsl:template>
24
25 <xsl:template match="ld:section4">
26     <div class="head2dx" id="{@name}">
27       <xsl:apply-templates/>
28       <xsl:call-template name="sp"/>
29       <xsl:call-template name="butterfly">
30          <xsl:with-param name="name" select="4"/>
31       </xsl:call-template>
32    </div>
33 </xsl:template>
34
35 <xsl:template match="ld:section5">
36    <div class="head2dx" id="{@name}">
37       <xsl:apply-templates/>
38       <xsl:call-template name="sp"/>
39       <xsl:call-template name="butterfly">
40          <xsl:with-param name="name" select="5"/>
41       </xsl:call-template>
42    </div>
43 </xsl:template>
44
45 <xsl:template match="ld:section6">
46    <div class="head2dx" id="{@name}">
47       <xsl:apply-templates/>
48       <xsl:call-template name="sp"/>
49       <xsl:call-template name="butterfly">
50          <xsl:with-param name="name" select="6"/>
51       </xsl:call-template>
52    </div>
53 </xsl:template>
54
55 <xsl:template match="ld:section8">
56    <div class="head2dx" id="{@name}">
57       <xsl:apply-templates/>
58       <xsl:call-template name="sp"/>
59       <xsl:call-template name="butterfly">
60          <xsl:with-param name="name" select="8"/>
61       </xsl:call-template>
62    </div>
63 </xsl:template>
64
65 <xsl:template match="ld:section9">
66    <div class="head2dx" id="{@name}">
67       <xsl:apply-templates/>
68       <xsl:call-template name="sp"/>
69       <xsl:call-template name="butterfly">
70          <xsl:with-param name="name" select="9"/>
71       </xsl:call-template>
72    </div>
73 </xsl:template>
74
75 <xsl:template match="ld:section15">
76    <div class="head2dx" id="{@name}">
77       <xsl:apply-templates/>
78       <xsl:call-template name="sp"/>
79       <xsl:call-template name="butterfly">
80          <xsl:with-param name="name" select="15"/>
81       </xsl:call-template>
82    </div>
83 </xsl:template>
84
85 <xsl:template match="ld:subsection">
86    <div class="head3sn" id="{@name}">
87       <xsl:apply-templates/>
88    </div>
89 </xsl:template>
90
91 <xsl:template match="ld:body">
92    <div class="text">
93       <xsl:apply-templates/>
94    </div>
95 </xsl:template>
96
97 <xsl:template match="ld:topitem">
98    <ul id="{@name}"><li>
99       <xsl:apply-templates/>
100    </li></ul>
101 </xsl:template>
102
103 <xsl:template match="ld:news">
104    <ul><li>
105       <span class="emph {@class}"><xsl:value-of select="@date"/></span>
106       <xsl:apply-templates/>
107    </li></ul>
108 </xsl:template>
109
110 <xsl:template match="ld:table">
111    <div class="text">
112       <xsl:call-template name="xhtbl"/>
113    </div>
114 </xsl:template>
115
116 <xsl:template match="ld:sitemap">
117    <div class="spacer"><br/></div>   
118    <div class="text">
119       <xsl:call-template name="xhtbl"/>
120    </div>
121 </xsl:template>
122
123 <xsl:template match="ld:link">
124    <a href="{@to}">
125       <xsl:apply-templates/>
126    </a>
127 </xsl:template>
128
129 <xsl:template match="ld:rlink">
130    <a href="{$baseurl}{@to}">
131       <xsl:apply-templates/>
132    </a>
133 </xsl:template>
134
135 <xsl:template match="ld:newline">
136    <br/>
137 </xsl:template>
138
139 <xsl:template match="ld:list">
140    <ul><xsl:apply-templates/></ul>
141 </xsl:template>
142
143 <xsl:template match="ld:item">
144    <li><xsl:apply-templates/></li>
145 </xsl:template>
146
147 <xsl:template match="ld:notice">
148    <span class="emph {@class}">
149       <xsl:choose>
150          <xsl:when test="@notice"><xsl:value-of select="@notice"/></xsl:when>
151          <xsl:when test="@text"><xsl:value-of select="@text"/></xsl:when>
152          <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
153       </xsl:choose>
154    </span>
155 </xsl:template>
156
157 <xsl:template match="ld:sub">
158    <sub><xsl:apply-templates/></sub>
159 </xsl:template>
160
161 <xsl:template match="ld:sup">
162    <sup><xsl:apply-templates/></sup>
163 </xsl:template>
164
165 <xsl:template match="ld:version3-icon">
166    <xsl:call-template name="butterfly">
167       <xsl:with-param name="name" select="8"/>
168    </xsl:call-template>
169    <xsl:call-template name="sp"/>
170 </xsl:template>
171
172 <xsl:template match="ld:version2-icon">
173    <xsl:call-template name="butterfly">
174       <xsl:with-param name="name" select="4"/>
175    </xsl:call-template>
176    <xsl:call-template name="sp"/>
177 </xsl:template>
178
179 <xsl:template match="ld:version1-icon">
180    <xsl:call-template name="butterfly">
181       <xsl:with-param name="name" select="6"/>
182    </xsl:call-template>
183    <xsl:call-template name="sp"/>
184 </xsl:template>
185
186 <xsl:template match="ld:crux-icon">
187    <img class="icon32"
188         alt="[Crux logo]"
189         title="the Crux"
190         src="{$baseurl}images/crux_32.png"
191    />
192    <xsl:call-template name="sp"/>
193 </xsl:template>
194
195 <xsl:template match="ld:helena-icon">
196    <img class="icon32"
197         alt="[Helena logo]"
198         title="Helena"
199         src="{$baseurl}images/helena_32.png"
200    />
201    <xsl:call-template name="sp"/>
202 </xsl:template>
203
204 <xsl:template match="ld:osn-icon">
205    <img class="w3c"
206         alt="[Open Symbolic Notation logo]"
207         title="OSN: Open Symbolic Notation"
208         src="{$baseurl}images/osn_label.png"
209    />
210    <xsl:call-template name="sp"/>
211 </xsl:template>
212
213 <xsl:template match="ld:footer">
214    <xsl:call-template name="rule"/>
215    <div class="spacer"><br/></div>   
216    <div class="spacer">
217       <xsl:call-template name="xhtml"/>
218       <xsl:call-template name="css"/>
219       <xsl:call-template name="xslt"/>
220       <xsl:apply-templates/>
221       <xsl:call-template name="png"/>
222       <xsl:call-template name="browser"/>
223    </div>
224    <div class="spacer"><br/></div>   
225    <div class="spacer">
226       <xsl:value-of select="'Last update: '"/> 
227       <xsl:value-of select="$date"/>
228    </div>
229 </xsl:template>
230
231 <xsl:template match="ld:helena-label">
232    <xsl:call-template name="helena"/>
233 </xsl:template>
234
235 <xsl:template match="ld:page">
236    <html xsl:exclude-result-prefixes="ld" dir="ltr" lang="en-us"><head> 
237       <meta http-equiv="Content-Language" content="en-us"/>
238       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
239       <meta http-equiv="Content-Style-Type" content="text/css"/>
240       <meta name="author" content="Ferruccio Guidi"/>
241       <meta name="description" content="{@description}"/>
242       <title><xsl:value-of select="@title"/></title>
243       <link rel="stylesheet" type="text/css"
244             href="{$baseurl}css/ld_web.css"
245       />
246       <link rel="stylesheet" type="text/css"
247             href="{$baseurl}css/lddl.css"
248       />
249       <link rel="stylesheet" type="text/css"
250             href="{$baseurl}css/xhtbl.css"
251       />
252       <link rel="shortcut icon" 
253             href="{$baseurl}images/crux_16.ico"
254       />
255    </head><body lang="en-US">
256       <xsl:call-template name="home"/>
257       <div class="head1"><xsl:value-of select="@head"/></div>
258       <xsl:call-template name="rule"/>
259       <xsl:apply-templates/>
260    </body></html>
261 </xsl:template>
262
263 <xsl:template match="@*|node()">
264    <xsl:copy>
265       <xsl:apply-templates select="@*|node()"/>
266    </xsl:copy>
267 </xsl:template>
268
269 </xsl:stylesheet>