]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambdadelta/xslt/ld_web_library.xsl
planned dehyphenation of lambdadelta eventually took place!
[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="xhtml">
31    <a href="http://validator.w3.org/check?uri=referer">
32       <img class="w3c"
33            alt="[Valid XHTML 1.1]"
34            title="Valid XHTML 1.1" 
35            src="http://www.w3.org/Icons/valid-xhtml11-blue"
36       />
37    </a>
38 </xsl:template>
39
40 <xsl:template name="css">
41    <a href="http://jigsaw.w3.org/css-validator/check/referer">
42       <img class="w3c"
43            alt="[Valid CSS level 2]"
44            title="Valid CSS level 2" 
45            src="http://www.w3.org/Icons/valid-css2-blue"
46       />
47    </a>
48 </xsl:template>
49
50 <xsl:template name="xslt">
51    <a href="http://www.w3.org/XML/">
52       <img class="w3c"
53            alt="[Generated from XML via XSL]"
54            title="Generated from XML via XSL"
55            src="{$baseurl}images/xml_xsl2.png"
56       />
57    </a>
58 </xsl:template>
59
60 <xsl:template name="png">
61    <a href="http://www.w3.org/Graphics/PNG/">
62       <img class="w3c"
63            alt="[PNG used here]"
64            title="PNG used here"
65            src="{$baseurl}images/PNGnow2.png"
66       />
67    </a>
68 </xsl:template>
69
70 <xsl:template name="browser">
71    <a href="http://www.anybrowser.org/campaign/">
72       <img class="w3c"
73            alt="[Viewable with any browser]"
74            title="Viewable with any browser"
75            src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
76       />
77    </a>
78 </xsl:template>
79
80 <xsl:template name="helena">
81    <a href="{$baseurl}implementation.html#helena">
82       <img class="w3c"
83            alt="[Powered by Helena lambdadelta processor]"
84            title="Powered by Helena lambdadelta processor"
85            src="{$baseurl}images/helena_label.png"
86       />
87    </a>
88 </xsl:template>
89
90 </xsl:stylesheet>