1 <?xml version="1.0" encoding="UTF-8"?>
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.
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_______________________________________________________________ -->
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15 xmlns="http://www.w3.org/1999/xhtml"
18 <xsl:strip-space elements="ENTITY"/>
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"
31 <link rel="shortcut icon"
32 href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
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"
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"
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;"
58 <a href="http://jigsaw.w3.org/css-validator/check/referer">
59 <img alt="[Valid CSS]"
61 src="http://www.w3.org/Icons/valid-css2-blue"
62 style="border: 0; width:88px; height:31px;"
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;"
70 <img style="width: 88px; height: 31px;"
73 src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
79 <xsl:template match="ENTITY">
80 <xsl:apply-templates/><br/>
82 Validation parameters:
83 sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
84 kernel options = "<xsl:value-of select="@options"/>"