]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_root.xsl
first article on lambdadelta version 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: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:subsection">
76    <div class="head3sn" id="{@name}">
77       <xsl:apply-templates/>
78    </div>
79 </xsl:template>
80
81 <xsl:template match="ld:body">
82    <div class="text">
83       <xsl:apply-templates/>
84    </div>
85 </xsl:template>
86
87 <xsl:template match="ld:topitem">
88    <ul id="{@name}"><li>
89       <xsl:apply-templates/>
90    </li></ul>
91 </xsl:template>
92
93 <xsl:template match="ld:news">
94    <ul><li>
95       <span class="emph {@class}"><xsl:value-of select="@date"/></span>
96       <xsl:apply-templates/>
97    </li></ul>
98 </xsl:template>
99
100 <xsl:template match="ld:table">
101    <div class="text">
102       <xsl:call-template name="xhtbl"/>
103    </div>
104 </xsl:template>
105
106 <xsl:template match="ld:sitemap">
107    <div class="spacer"><br/></div>   
108    <div class="text">
109       <xsl:call-template name="xhtbl"/>
110    </div>
111 </xsl:template>
112
113 <xsl:template match="ld:link">
114    <a href="{@to}">
115       <xsl:apply-templates/>
116    </a>
117 </xsl:template>
118
119 <xsl:template match="ld:rlink">
120    <a href="{$baseurl}{@to}">
121       <xsl:apply-templates/>
122    </a>
123 </xsl:template>
124
125 <xsl:template match="ld:list">
126    <ul><xsl:apply-templates/></ul>
127 </xsl:template>
128
129 <xsl:template match="ld:item">
130    <li><xsl:apply-templates/></li>
131 </xsl:template>
132
133 <xsl:template match="ld:notice">
134    <span class="emph {@class}"><xsl:value-of select="@notice"/></span>
135 </xsl:template>
136
137 <xsl:template match="ld:version3-icon">
138    <xsl:call-template name="butterfly">
139       <xsl:with-param name="name" select="8"/>
140    </xsl:call-template>
141    <xsl:call-template name="sp"/>
142 </xsl:template>
143
144 <xsl:template match="ld:version2-icon">
145    <xsl:call-template name="butterfly">
146       <xsl:with-param name="name" select="4"/>
147    </xsl:call-template>
148    <xsl:call-template name="sp"/>
149 </xsl:template>
150
151 <xsl:template match="ld:version1-icon">
152    <xsl:call-template name="butterfly">
153       <xsl:with-param name="name" select="6"/>
154    </xsl:call-template>
155    <xsl:call-template name="sp"/>
156 </xsl:template>
157
158 <xsl:template match="ld:crux-icon">
159    <img class="icon32"
160         alt="[Crux logo]"
161         title="the Crux"
162         src="{$baseurl}images/crux_32.png"
163    />
164    <xsl:call-template name="sp"/>
165 </xsl:template>
166
167 <xsl:template match="ld:helena-icon">
168    <img class="icon32"
169         alt="[Helena logo]"
170         title="Helena"
171         src="{$baseurl}images/helena_32.png"
172    />
173    <xsl:call-template name="sp"/>
174 </xsl:template>
175
176 <xsl:template match="ld:footer">
177    <xsl:call-template name="rule"/>
178    <div class="spacer"><br/></div>   
179    <div class="spacer">
180       <xsl:call-template name="xhtml"/>
181       <xsl:call-template name="css"/>
182       <xsl:call-template name="xslt"/>
183       <xsl:apply-templates/>
184       <xsl:call-template name="png"/>
185       <xsl:call-template name="browser"/>
186    </div>
187    <div class="spacer"><br/></div>   
188    <div class="spacer">
189       <xsl:value-of select="'Last update: '"/> 
190       <xsl:value-of select="$date"/>
191    </div>
192 </xsl:template>
193
194 <xsl:template match="ld:helena-label">
195    <xsl:call-template name="helena"/>
196 </xsl:template>
197
198 <xsl:template match="ld:page">
199    <html xsl:exclude-result-prefixes="ld" dir="ltr" lang="en-us"><head> 
200       <meta http-equiv="Content-Language" content="en-us"/>
201       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
202       <meta http-equiv="Content-Style-Type" content="text/css"/>
203       <meta name="author" content="Ferruccio Guidi"/>
204       <meta name="description" content="{@description}"/>
205       <title><xsl:value-of select="@title"/></title>
206       <link rel="stylesheet" type="text/css"
207             href="{$baseurl}css/ld_web.css"
208       />
209       <link rel="stylesheet" type="text/css"
210             href="{$baseurl}css/lddl.css"
211       />
212       <link rel="stylesheet" type="text/css"
213             href="{$baseurl}css/xhtbl.css"
214       />
215       <link rel="shortcut icon" 
216             href="{$baseurl}images/crux_16.ico"
217       />
218    </head><body lang="en-US">
219       <xsl:call-template name="home"/>
220       <div class="head1"><xsl:value-of select="@head"/></div>
221       <xsl:call-template name="rule"/>
222       <xsl:apply-templates/>
223    </body></html>
224 </xsl:template>
225
226 <xsl:template match="@*|node()">
227    <xsl:copy>
228       <xsl:apply-templates select="@*|node()"/>
229    </xsl:copy>
230 </xsl:template>
231
232 </xsl:stylesheet>