]> matita.cs.unibo.it Git - helm.git/blob - helm/software/lambda-delta/xml/ld-html-root.xsl
fbab2793198680e58779a2a9b6726c06b5ccfcf9
[helm.git] / helm / software / lambda-delta / xml / ld-html-root.xsl
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <!--
4     ||M||  This file is part of HELM, an Hypertextual, Electronic        
5     ||A||  Library of Mathematics, developed at the Computer Science     
6     ||T||  Department, University of Bologna, Italy.                     
7     ||I||                                                                
8     ||T||  HELM is free software; you can redistribute it and/or         
9     ||A||  modify it under the terms of the GNU General Public License   
10     \   /  version 2 or (at your option) any later version.              
11      \ /   This software is distributed as is, NO WARRANTY.              
12       V_______________________________________________________________ -->
13
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15                               xmlns="http://www.w3.org/1999/xhtml"
16 >
17
18 <xsl:strip-space elements="ENTITY"/>
19
20 <xsl:template match="/">
21    <html xmlns="http://www.w3.org/1999/xhtml"><head>
22       <meta http-equiv="Content-Language" content="en-us"/>
23       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
24       <meta http-equiv="Content-Style-Type" content="text/css"/>
25       <meta name="author" content="Ferruccio Guidi"/>
26       <meta name="description" content="lambda-delta digital library"/>
27       <title>lambda-delta digital library (LDDL)</title>
28       <link rel="stylesheet" type="text/css"
29             href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
30       />
31       <link rel="shortcut icon" 
32             href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
33       />
34    </head><body>
35       <div style="text-align: center;"><br/>         
36          <a href="http://helm.cs.unibo.it/lambda-delta/">
37          <img style="border: 0px solid; width: 32px; height: 32px;" 
38               alt="[lambda-delta home]" title="lambda-delta home"
39               src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
40          /></a>
41          <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
42          <img style="width: 95%; height: 4px;"
43               alt="[Separator]" title="Separator"
44               src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
45          />
46          <table border="0" cellpadding="0" cellspacing="0"
47                 style="text-align: left; width: 95%; 
48                        margin-left: auto; margin-right: auto;"
49          ><tbody><tr><td style="vertical-align: top;">
50             <xsl:apply-templates/>
51          </td></tr></tbody></table><br/>
52          <a href="http://validator.w3.org/check?uri=referer">
53          <img alt="[Valid XHTML 1.1]"
54               title="Valid XHTML 1.1"
55               src="http://www.w3.org/Icons/valid-xhtml11-blue"
56               style="border: 0px solid ; width: 88px; height: 31px;"
57          /></a>
58          <a href="http://jigsaw.w3.org/css-validator/check/referer">
59          <img alt="[Valid CSS]"
60               title="Valid CSS"
61               src="http://www.w3.org/Icons/valid-css2-blue"
62               style="border: 0; width:88px; height:31px;"
63          /></a>
64          <a href="http://www.anybrowser.org/campaign/">
65          <img alt="[Use any browser here]"
66               title="Use any browser here"
67               src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
68               style="border: 0px solid ; width: 147px; height: 42px;"
69          /></a>
70          <img style="width: 88px; height: 31px;"
71               alt="[PNG used here]"
72               title="PNG used here"
73               src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
74          />
75       <br/></div>
76    </body></html>
77 </xsl:template>
78
79 <xsl:template match="ENTITY">
80    <xsl:apply-templates/><br/>
81    <div>
82       Validation parameters:
83       sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
84       kernel options = "<xsl:value-of select="@options"/>"
85    </div>
86 </xsl:template>
87
88 </xsl:stylesheet>