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