]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_library.xsl
- first results on cpx (dericed from those on cpg)
[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="[spacer]"
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="crux-logo">
92    <a href="{$baseurl}"><img class="icon32"
93       alt="[\lambda\delta home]"
94       title="\lambda\delta home"
95       src="{$baseurl}images/crux_32.png"
96    /></a>
97 </xsl:template>
98
99 <xsl:template name="ld3-logo">
100    <xsl:call-template name="butterfly">
101       <xsl:with-param name="name" select="8"/>
102    </xsl:call-template>
103 </xsl:template>
104
105 <xsl:template name="ld2-logo">
106    <xsl:call-template name="butterfly">
107       <xsl:with-param name="name" select="4"/>
108    </xsl:call-template>
109 </xsl:template>
110
111 <xsl:template name="ld1-logo">
112    <xsl:call-template name="butterfly">
113       <xsl:with-param name="name" select="6"/>
114    </xsl:call-template>
115 </xsl:template>
116
117 <xsl:template name="osn-logo">
118    <a href="{$baseurl}osn.html"><img class="w3c"
119       alt="[Open Symbolic Notation logo]"
120       title="OSN: Open Symbolic Notation"
121       src="{$baseurl}images/osn_label.png"
122    /></a>
123 </xsl:template>
124
125 <xsl:template name="helena-logo">
126    <img class="icon32"
127         alt="[Helena logo]"
128         title="Helena"
129         src="{$baseurl}images/helena_32.png"
130    />
131 </xsl:template>
132
133 <xsl:template name="lddl-logo">
134    <img class="icon32"
135         alt="[\lambda\delta digital library logo]"
136         title="LDDL: \lambda\delta digital library"
137         src="{$baseurl}images/crux_32.png"
138    />
139 </xsl:template>
140
141 <xsl:template name="smile-logo">
142    <img class="icon32"
143         alt="[Smiling face]"
144         title="Smile!"
145         src="{$baseurl}images/smile.png"
146    />
147 </xsl:template>
148
149 <!-- img main template -->
150
151 <xsl:template name="img">
152   <xsl:choose>
153     <xsl:when test="@logo='crux'">
154       <xsl:call-template name="crux-logo"/>
155     </xsl:when>
156     <xsl:when test="@logo='ld3'">
157       <xsl:call-template name="ld3-logo"/>
158     </xsl:when>
159     <xsl:when test="@logo='ld2'">
160       <xsl:call-template name="ld2-logo"/>
161     </xsl:when>
162     <xsl:when test="@logo='ld1'">
163       <xsl:call-template name="ld1-logo"/>
164     </xsl:when>
165     <xsl:when test="@logo='osn'">
166       <xsl:call-template name="osn-logo"/>
167     </xsl:when>
168     <xsl:when test="@logo='helena'">
169       <xsl:call-template name="helena-logo"/>
170     </xsl:when>
171     <xsl:when test="@logo='lddl'">
172       <xsl:call-template name="lddl-logo"/>
173     </xsl:when>
174     <xsl:when test="@logo='smile'">
175       <xsl:call-template name="smile-logo"/>
176     </xsl:when>
177     <xsl:when test="@label='helena'">
178       <xsl:call-template name="helena-label"/>
179     </xsl:when>
180   </xsl:choose>
181 </xsl:template>
182
183 <xsl:template name="sp">
184    <xsl:text> </xsl:text>
185 </xsl:template>
186
187 </xsl:stylesheet>