]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambda_delta/xslt/ld_web_root.xsl
8222e1d941fdc8a58cd3a8fc982b054eac922ded
[helm.git] / helm / www / lambda_delta / xslt / ld_web_root.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:date="http://exslt.org/dates-and-times"
6                 xmlns:ld="http://lambda_delta.info"
7                 xmlns="http://www.w3.org/1999/xhtml"
8                 extension-element-prefixes="date"
9 >
10
11 <xsl:template match="ld:section">
12    <div class="head2">
13       <xsl:apply-templates/>
14    </div>
15 </xsl:template>
16
17 <xsl:template match="ld:body">
18    <div class="text">
19       <xsl:apply-templates/>
20    </div>
21 </xsl:template>
22
23 <xsl:template match="ld:table">
24    <div class="text">
25       <xsl:call-template name="xhtbl"/>
26    </div>
27 </xsl:template>
28
29 <xsl:template match="ld:footer">
30    <xsl:call-template name="rule"/>
31    <div class="spacer"><br/></div>   
32    <div class="spacer">
33       <xsl:call-template name="xhtml"/>
34       <xsl:call-template name="css"/>
35       <xsl:call-template name="xslt"/>
36       <xsl:apply-templates/>
37       <xsl:call-template name="png"/>
38       <xsl:call-template name="browser"/>
39    </div>
40    <div class="spacer"><br/></div>   
41    <div class="spacer">
42       <xsl:value-of select="'Last update: '"/> 
43       <xsl:value-of select="date:date()"/>
44    </div>
45 </xsl:template>
46
47 <xsl:template match="ld:helena-label">
48    <xsl:call-template name="helena"/>
49 </xsl:template>
50
51 <xsl:template match="ld:page">
52    <html xmlns="http://www.w3.org/1999/xhtml"><head>
53       <meta http-equiv="Content-Language" content="en-us"/>
54       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
55       <meta http-equiv="Content-Style-Type" content="text/css"/>
56       <meta name="author" content="Ferruccio Guidi"/>
57       <meta name="description" content="{@description}"/>
58       <title><xsl:value-of select="@title"/></title>
59       <link rel="stylesheet" type="text/css"
60             href="{$baseurl}css/ld_web.css"
61       />
62       <link rel="stylesheet" type="text/css"
63             href="{$baseurl}css/lddl.css"
64       />
65       <link rel="stylesheet" type="text/css"
66             href="{$baseurl}css/xhtbl.css"
67       />
68       <link rel="shortcut icon" 
69             href="{$baseurl}images/crux_16.ico"
70       />
71    </head><body lang="en-US">
72       <xsl:call-template name="home"/>
73       <div class="head1"><xsl:value-of select="@head"/></div>
74       <xsl:call-template name="rule"/>
75       <xsl:apply-templates/>
76    </body></html>
77 </xsl:template>
78
79 </xsl:stylesheet>