]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_library.xsl
updated web site
[helm.git] / helm / www / lambdadelta / xslt / ld_web_library.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="http://www.w3.org/1999/xhtml"
6 >
7
8 <xsl:template name="rule">
9    <div class="spacer">
10       <img class="rule"
11            alt="[Spacer]"
12            title="\lambda\delta rainbow rule"
13            src="{$baseurl}images/rainbow.png"
14       />
15    </div>
16 </xsl:template>
17
18 <xsl:template name="butterfly">
19    <xsl:param name="name"/>
20    <img class="icon37"
21       alt="[butterfly]"
22       title="\lambda\delta butterfly"
23       src="{$baseurl}images/b{$name}.png"
24    />
25 </xsl:template>
26
27 <!-- label support -->
28
29 <xsl:template name="xhtml-label">
30    <a href="http://validator.w3.org/check?uri=referer">
31       <img class="w3c"
32            alt="[Valid XHTML 1.1]"
33            title="Valid XHTML 1.1" 
34            src="http://www.w3.org/Icons/valid-xhtml11-blue"
35       />
36    </a>
37 </xsl:template>
38
39 <xsl:template name="css-label">
40    <a href="http://jigsaw.w3.org/css-validator/check/referer">
41       <img class="w3c"
42            alt="[Valid CSS level 2]"
43            title="Valid CSS level 2" 
44            src="http://www.w3.org/Icons/valid-css2-blue"
45       />
46    </a>
47 </xsl:template>
48
49 <xsl:template name="xslt-label">
50    <a href="http://www.w3.org/XML/">
51       <img class="w3c"
52            alt="[Generated from XML via XSL]"
53            title="Generated from XML via XSL"
54            src="{$baseurl}images/xml_xsl2.png"
55       />
56    </a>
57 </xsl:template>
58
59 <xsl:template name="png-label">
60    <a href="http://www.w3.org/Graphics/PNG/">
61       <img class="w3c"
62            alt="[PNG used here]"
63            title="PNG used here"
64            src="{$baseurl}images/PNGnow2.png"
65       />
66    </a>
67 </xsl:template>
68
69 <xsl:template name="browser-label">
70    <a href="http://www.anybrowser.org/campaign/">
71       <img class="w3c"
72            alt="[Viewable with any browser]"
73            title="Viewable with any browser"
74            src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
75       />
76    </a>
77 </xsl:template>
78
79 <xsl:template name="helena-label">
80    <a href="{$baseurl}implementation.html#helena">
81       <img class="w3c"
82            alt="[Powered by Helena \lambda\delta processor]"
83            title="Powered by Helena \lambda\delta processor"
84            src="{$baseurl}images/helena_label.png"
85       />
86    </a>
87 </xsl:template>
88
89 <!-- logo support -->
90
91 <xsl:template name="forward-logo">
92    <a href="http://lambdadelta.info/"><img class="icon32"
93       alt="[forwarded logo]"
94       title="forwarded logo"
95       src="http://lambdadelta.info/images/crux_32.png"
96    /></a>
97 </xsl:template>
98
99 <xsl:template name="crux-logo">
100    <a href="{$baseurl}html/home.html"><img class="icon32"
101       alt="[\lambda\delta home]"
102       title="\lambda\delta home"
103       src="{$baseurl}images/crux_32.png"
104    /></a>
105 </xsl:template>
106
107 <xsl:template name="ld3-logo">
108    <xsl:call-template name="butterfly">
109       <xsl:with-param name="name" select="8"/>
110    </xsl:call-template>
111 </xsl:template>
112
113 <xsl:template name="ld2-logo">
114    <xsl:call-template name="butterfly">
115       <xsl:with-param name="name" select="4"/>
116    </xsl:call-template>
117 </xsl:template>
118
119 <xsl:template name="ld1-logo">
120    <xsl:call-template name="butterfly">
121       <xsl:with-param name="name" select="6"/>
122    </xsl:call-template>
123 </xsl:template>
124
125 <xsl:template name="osn-logo">
126    <a href="{$baseurl}osn/"><img class="w3c"
127       alt="[Open Symbolic Notation logo]"
128       title="OSN: Open Symbolic Notation"
129       src="{$baseurl}images/osn_label.png"
130    /></a>
131 </xsl:template>
132
133 <xsl:template name="helena-logo">
134    <img class="icon32"
135         alt="[Helena logo]"
136         title="Helena"
137         src="{$baseurl}images/helena_32.png"
138    />
139 </xsl:template>
140
141 <xsl:template name="lddl-logo">
142    <img class="icon32"
143         alt="[\lambda\delta digital library logo]"
144         title="LDDL: \lambda\delta digital library"
145         src="{$baseurl}images/crux_32.png"
146    />
147 </xsl:template>
148
149 <xsl:template name="smile-logo">
150    <img class="icon32"
151         alt="[Smiling face]"
152         title="Smile!"
153         src="{$baseurl}images/smile.png"
154    />
155 </xsl:template>
156
157 <!-- img main template -->
158
159 <xsl:template name="img">
160   <xsl:choose>
161     <xsl:when test="@logo='forward'">
162       <xsl:call-template name="forward-logo"/>
163     </xsl:when>
164     <xsl:when test="@logo='crux'">
165       <xsl:call-template name="crux-logo"/>
166     </xsl:when>
167     <xsl:when test="@logo='ld3'">
168       <xsl:call-template name="ld3-logo"/>
169     </xsl:when>
170     <xsl:when test="@logo='ld2'">
171       <xsl:call-template name="ld2-logo"/>
172     </xsl:when>
173     <xsl:when test="@logo='ld1'">
174       <xsl:call-template name="ld1-logo"/>
175     </xsl:when>
176     <xsl:when test="@logo='osn'">
177       <xsl:call-template name="osn-logo"/>
178     </xsl:when>
179     <xsl:when test="@logo='helena'">
180       <xsl:call-template name="helena-logo"/>
181     </xsl:when>
182     <xsl:when test="@logo='lddl'">
183       <xsl:call-template name="lddl-logo"/>
184     </xsl:when>
185     <xsl:when test="@logo='smile'">
186       <xsl:call-template name="smile-logo"/>
187     </xsl:when>
188     <xsl:when test="@label='helena'">
189       <xsl:call-template name="helena-label"/>
190     </xsl:when>
191   </xsl:choose>
192 </xsl:template>
193
194 <xsl:template name="sp">
195    <xsl:text> </xsl:text>
196 </xsl:template>
197
198 </xsl:stylesheet>