]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html-root.xsl
...
[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
4
5 <xsl:strip-space elements="ENTRY"/>
6 <xsl:template match="/">
7    <html><head>
8       <meta content="Ferruccio Guidi" name="author"/>
9       <meta content="lambda-delta digital library" name="description"/>
10       <title>lambda-delta digital library (LDDL)</title>
11       <link rel="shortcut icon" 
12             href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
13       />
14    </head><body>
15       <h1 style="text-align: center;">
16          <a href="http://helm.cs.unibo.it/lambda-delta/">
17          <img style="border: 0px solid; width: 32px; height: 32px;" 
18               alt="[lambda-delta home]"
19               title="lambda-delta home"
20               src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
21          /></a>
22       </h1>
23       <xsl:apply-templates/><h2/>
24       <div style="text-align: center;">
25          <a href="http://validator.w3.org/check?uri=referer">
26          <img alt="[Valid HTML 4.01 Transitional]"
27               title="Valid HTML 4.01 Transitional"
28               src="http://www.w3.org/Icons/valid-html401"
29               style="border: 0px solid ; width: 88px; height: 31px;"
30          /></a>
31          <a href="http://www.anybrowser.org/campaign/">
32          <img alt="[Use any browser here]"
33               title="Use any browser here"
34               src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
35               style="border: 0px solid ; width: 147px; height: 42px;"
36          /></a>
37          <img style="width: 88px; height: 31px;"
38               alt="[png used here]"
39               title="png used here"
40               src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
41          />
42       </div>
43    </body></html>
44 </xsl:template>
45
46 <xsl:template match="ENTRY">
47    <xsl:apply-templates/><h2/>
48    <div>
49       Validation parameters:
50       sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
51       kernel options = "<xsl:value-of select="@options"/>"
52    </div>
53 </xsl:template>
54
55 </xsl:stylesheet>