]> matita.cs.unibo.it Git - helm.git/blob - helm/www/lambda_delta/xslt/ld_web_root.xsl
we added summary and timeline to the Basic_2 page
[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:news">
24    <ul><li>
25       <span class="date"><xsl:value-of select="@date"/></span>
26       <xsl:apply-templates/>
27    </li></ul>
28 </xsl:template>
29
30 <xsl:template match="ld:table">
31    <div class="text">
32       <xsl:call-template name="xhtbl"/>
33    </div>
34 </xsl:template>
35
36 <xsl:template match="ld:footer">
37    <xsl:call-template name="rule"/>
38    <div class="spacer"><br/></div>   
39    <div class="spacer">
40       <xsl:call-template name="xhtml"/>
41       <xsl:call-template name="css"/>
42       <xsl:call-template name="xslt"/>
43       <xsl:apply-templates/>
44       <xsl:call-template name="png"/>
45       <xsl:call-template name="browser"/>
46    </div>
47    <div class="spacer"><br/></div>   
48    <div class="spacer">
49       <xsl:value-of select="'Last update: '"/> 
50       <xsl:value-of select="date:date()"/>
51    </div>
52 </xsl:template>
53
54 <xsl:template match="ld:helena-label">
55    <xsl:call-template name="helena"/>
56 </xsl:template>
57
58 <xsl:template match="ld:page">
59    <html xmlns="http://www.w3.org/1999/xhtml"><head>
60       <meta http-equiv="Content-Language" content="en-us"/>
61       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
62       <meta http-equiv="Content-Style-Type" content="text/css"/>
63       <meta name="author" content="Ferruccio Guidi"/>
64       <meta name="description" content="{@description}"/>
65       <title><xsl:value-of select="@title"/></title>
66       <link rel="stylesheet" type="text/css"
67             href="{$baseurl}css/ld_web.css"
68       />
69       <link rel="stylesheet" type="text/css"
70             href="{$baseurl}css/lddl.css"
71       />
72       <link rel="stylesheet" type="text/css"
73             href="{$baseurl}css/xhtbl.css"
74       />
75       <link rel="shortcut icon" 
76             href="{$baseurl}images/crux_16.ico"
77       />
78    </head><body lang="en-US">
79       <xsl:call-template name="home"/>
80       <div class="head1"><xsl:value-of select="@head"/></div>
81       <xsl:call-template name="rule"/>
82       <xsl:apply-templates/>
83    </body></html>
84 </xsl:template>
85
86 </xsl:stylesheet>