]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_library.xsl
- we begin the new site based on ld_web
[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="home">
9    <div class="spacer">
10       <a href="{$baseurl}">
11          <img class="icon32"
12               alt="[lambdadelta home]"
13               title="lambdadelta home"
14               src="{$baseurl}images/crux_32.png"
15          />
16       </a>
17    </div>
18 </xsl:template>
19
20 <xsl:template name="rule">
21    <div class="spacer">
22       <img class="rule"
23            alt="[Spacer]"
24            title="lambdadelta rainbow rule"
25            src="{$baseurl}images/rainbow.png"
26       />
27    </div>
28 </xsl:template>
29
30 <xsl:template name="butterfly">
31    <xsl:param name="name"/>
32    <img class="icon37"
33       alt="[spacer]"
34       title="lambdadelta butterfly"
35       src="{$baseurl}images/b{$name}.png"
36    />
37 </xsl:template>
38
39 <xsl:template name="xhtml">
40    <a href="http://validator.w3.org/check?uri=referer">
41       <img class="w3c"
42            alt="[Valid XHTML 1.1]"
43            title="Valid XHTML 1.1" 
44            src="http://www.w3.org/Icons/valid-xhtml11-blue"
45       />
46    </a>
47 </xsl:template>
48
49 <xsl:template name="css">
50    <a href="http://jigsaw.w3.org/css-validator/check/referer">
51       <img class="w3c"
52            alt="[Valid CSS level 2]"
53            title="Valid CSS level 2" 
54            src="http://www.w3.org/Icons/valid-css2-blue"
55       />
56    </a>
57 </xsl:template>
58
59 <xsl:template name="xslt">
60    <a href="http://www.w3.org/XML/">
61       <img class="w3c"
62            alt="[Generated from XML via XSL]"
63            title="Generated from XML via XSL"
64            src="{$baseurl}images/xml_xsl2.png"
65       />
66    </a>
67 </xsl:template>
68
69 <xsl:template name="png">
70    <a href="http://www.w3.org/Graphics/PNG/">
71       <img class="w3c"
72            alt="[PNG used here]"
73            title="PNG used here"
74            src="{$baseurl}images/PNGnow2.png"
75       />
76    </a>
77 </xsl:template>
78
79 <xsl:template name="browser">
80    <a href="http://www.anybrowser.org/campaign/">
81       <img class="w3c"
82            alt="[Viewable with any browser]"
83            title="Viewable with any browser"
84            src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
85       />
86    </a>
87 </xsl:template>
88
89 <xsl:template name="helena">
90    <a href="{$baseurl}implementation.html#helena">
91       <img class="w3c"
92            alt="[Powered by Helena lambdadelta processor]"
93            title="Powered by Helena lambdadelta processor"
94            src="{$baseurl}images/helena_label.png"
95       />
96    </a>
97 </xsl:template>
98
99 <xsl:template name="sp">
100    <xsl:text> </xsl:text>
101 </xsl:template>
102
103 </xsl:stylesheet>