]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_root.xsl
backport of WIP on \lambda\delta to matita 0.99.3
[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:section1">
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="1"/>
21       </xsl:call-template>
22    </div>
23 </xsl:template>
24
25 <xsl:template match="ld:section3">
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="3"/>
31       </xsl:call-template>
32    </div>
33 </xsl:template>
34
35 <xsl:template match="ld:section4">
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="4"/>
41       </xsl:call-template>
42    </div>
43 </xsl:template>
44
45 <xsl:template match="ld:section5">
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="5"/>
51       </xsl:call-template>
52    </div>
53 </xsl:template>
54
55 <xsl:template match="ld:section6">
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="6"/>
61       </xsl:call-template>
62    </div>
63 </xsl:template>
64
65 <xsl:template match="ld:section8">
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="8"/>
71       </xsl:call-template>
72    </div>
73 </xsl:template>
74
75 <xsl:template match="ld:section9">
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="9"/>
81       </xsl:call-template>
82    </div>
83 </xsl:template>
84
85 <xsl:template match="ld:section15">
86    <div class="head2dx" id="{@name}">
87       <xsl:apply-templates/>
88       <xsl:call-template name="sp"/>
89       <xsl:call-template name="butterfly">
90          <xsl:with-param name="name" select="15"/>
91       </xsl:call-template>
92    </div>
93 </xsl:template>
94
95 <xsl:template match="ld:subsection">
96    <div class="head3sn" id="{@name}">
97       <xsl:apply-templates/>
98    </div>
99 </xsl:template>
100
101 <xsl:template match="ld:body">
102    <div class="text">
103       <xsl:apply-templates/>
104    </div>
105 </xsl:template>
106
107 <xsl:template match="ld:topitem">
108    <ul id="{@name}"><li>
109       <xsl:apply-templates/>
110    </li></ul>
111 </xsl:template>
112
113 <xsl:template match="ld:news">
114    <ul><li>
115       <span class="emph {@class}"><xsl:value-of select="@date"/></span>
116       <xsl:apply-templates/>
117    </li></ul>
118 </xsl:template>
119
120 <xsl:template match="ld:table">
121    <div class="text">
122       <xsl:call-template name="xhtbl"/>
123    </div>
124 </xsl:template>
125
126 <xsl:template match="ld:sitemap">
127    <div class="spacer"><br/></div>   
128    <div class="text">
129       <xsl:call-template name="xhtbl"/>
130    </div>
131 </xsl:template>
132
133 <xsl:template match="ld:link">
134    <a href="{@to}">
135       <xsl:apply-templates/>
136    </a>
137 </xsl:template>
138
139 <xsl:template match="ld:rlink">
140    <a href="{$baseurl}{@to}">
141       <xsl:apply-templates/>
142    </a>
143 </xsl:template>
144
145 <xsl:template match="ld:newline">
146    <br/>
147 </xsl:template>
148
149 <xsl:template match="ld:list">
150    <ul><xsl:apply-templates/></ul>
151 </xsl:template>
152
153 <xsl:template match="ld:item">
154    <li class="{@class}"><xsl:apply-templates/></li>
155 </xsl:template>
156
157 <xsl:template match="ld:style">
158    <span class="{@class}">
159       <xsl:choose>
160          <xsl:when test="@of"><xsl:value-of select="@of"/></xsl:when>
161          <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
162       </xsl:choose>
163    </span>
164 </xsl:template>
165
166 <xsl:template match="ld:notice">
167    <span class="emph {@class}">
168       <xsl:choose>
169          <xsl:when test="@notice"><xsl:value-of select="@notice"/></xsl:when>
170          <xsl:when test="@text"><xsl:value-of select="@text"/></xsl:when>
171          <xsl:otherwise><xsl:apply-templates/></xsl:otherwise>
172       </xsl:choose>
173    </span>
174 </xsl:template>
175
176 <xsl:template match="ld:sub">
177    <sub><xsl:apply-templates/></sub>
178 </xsl:template>
179
180 <xsl:template match="ld:sup">
181    <sup><xsl:apply-templates/></sup>
182 </xsl:template>
183
184 <xsl:template match="ld:img">
185    <xsl:call-template name="img"/>
186    <xsl:choose>
187       <xsl:when test="@logo">
188          <xsl:call-template name="sp"/>
189       </xsl:when>
190    </xsl:choose>
191 </xsl:template>
192
193 <xsl:template match="ld:ucs-bronze">
194    <img
195       alt="[Official bronze sponsor of Unicode Consortium]"
196       title="Official bronze sponsor of Unicode Consortium"
197       src="{$baseurl}images/bronze-{@char}.png"
198    />
199 </xsl:template>
200
201 <xsl:template match="ld:footer">
202    <xsl:call-template name="rule"/>
203    <div class="spacer"><br/></div>   
204    <div class="spacer">
205       <xsl:call-template name="xhtml-label"/>
206       <xsl:call-template name="css-label"/>
207       <xsl:call-template name="xslt-label"/>
208       <xsl:apply-templates/>
209       <xsl:call-template name="png-label"/>
210       <xsl:call-template name="browser-label"/>
211    </div>
212    <div class="spacer"><br/></div>   
213    <div class="spacer">
214       <xsl:value-of select="'Last update: '"/> 
215       <xsl:value-of select="$date"/>
216    </div>
217 </xsl:template>
218
219 <xsl:template match="ld:page">
220    <html xsl:exclude-result-prefixes="ld" dir="ltr" lang="en-us"><head> 
221       <meta http-equiv="Content-Language" content="en-us"/>
222       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
223       <meta http-equiv="Content-Style-Type" content="text/css"/>
224       <meta name="author" content="Ferruccio Guidi"/>
225       <meta name="description" content="{@description}"/>
226       <title><xsl:value-of select="@title"/></title>
227       <link rel="stylesheet" type="text/css"
228             href="{$baseurl}css/ld_web.css"
229       />
230       <link rel="stylesheet" type="text/css"
231             href="{$baseurl}css/lddl.css"
232       />
233       <link rel="stylesheet" type="text/css"
234             href="{$baseurl}css/xhtbl.css"
235       />
236       <link rel="shortcut icon" 
237             href="{$baseurl}images/crux_32.ico"
238       />
239    </head><body lang="en-US">
240       <div class="spacer"><xsl:call-template name="img"/></div>
241       <div class="head1"><xsl:value-of select="@head"/></div>
242       <xsl:call-template name="rule"/>
243       <xsl:apply-templates/>
244    </body></html>
245 </xsl:template>
246
247 <xsl:template match="@*|node()">
248    <xsl:copy>
249       <xsl:apply-templates select="@*|node()"/>
250    </xsl:copy>
251 </xsl:template>
252
253 </xsl:stylesheet>