<?xml version="1.0" encoding="UTF-8"?>
-<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+<!--
+ ||M|| This file is part of HELM, an Hypertextual, Electronic
+ ||A|| Library of Mathematics, developed at the Computer Science
+ ||T|| Department, University of Bologna, Italy.
+ ||I||
+ ||T|| HELM is free software; you can redistribute it and/or
+ ||A|| modify it under the terms of the GNU General Public License
+ \ / version 2 or (at your option) any later version.
+ \ / This software is distributed as is, NO WARRANTY.
+ V_______________________________________________________________ -->
+
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+ xmlns="http://www.w3.org/1999/xhtml"
+>
+
+<xsl:strip-space elements="ENTITY"/>
-<xsl:strip-space elements="ENTRY"/>
<xsl:template match="/">
- <html><head>
- <meta content="Ferruccio Guidi" name="author"/>
- <meta content="lambda-delta digital library" name="description"/>
+ <html xmlns="http://www.w3.org/1999/xhtml"><head>
+ <meta http-equiv="Content-Language" content="en-us"/>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
+ <meta http-equiv="Content-Style-Type" content="text/css"/>
+ <meta name="author" content="Ferruccio Guidi"/>
+ <meta name="description" content="lambda-delta digital library"/>
<title>lambda-delta digital library (LDDL)</title>
+ <link rel="stylesheet" type="text/css"
+ href="http://helm.cs.unibo.it/lambda-delta/static/lddl/ld-html.css"
+ />
<link rel="shortcut icon"
href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
/>
</head><body>
- <h1 style="text-align: center;">
- <a href="http://helm.cs.unibo.it/lambda-delta/">
+ <div style="text-align: center;"><br/>
+ <a href="http://helm.cs.unibo.it/lambda-delta/">
<img style="border: 0px solid; width: 32px; height: 32px;"
- alt="[lambda-delta home]"
- title="lambda-delta home"
+ alt="[lambda-delta home]" title="lambda-delta home"
src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
/></a>
- </h1>
- <xsl:apply-templates/><h2/>
- <div style="text-align: center;">
+ <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
+ <img style="width: 95%; height: 4px;"
+ alt="[Separator]" title="Separator"
+ src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
+ />
+ <table border="0" cellpadding="0" cellspacing="0"
+ style="text-align: left; width: 95%;
+ margin-left: auto; margin-right: auto;"
+ ><tbody><tr><td style="vertical-align: top;">
+ <xsl:apply-templates/>
+ </td></tr></tbody></table><br/>
<a href="http://validator.w3.org/check?uri=referer">
- <img alt="[Valid HTML 4.01 Transitional]"
- title="Valid HTML 4.01 Transitional"
- src="http://www.w3.org/Icons/valid-html401"
+ <img alt="[Valid XHTML 1.1]"
+ title="Valid XHTML 1.1"
+ src="http://www.w3.org/Icons/valid-xhtml11-blue"
style="border: 0px solid ; width: 88px; height: 31px;"
- /></a>
+ /></a>
+ <a href="http://jigsaw.w3.org/css-validator/check/referer">
+ <img alt="[Valid CSS]"
+ title="Valid CSS"
+ src="http://www.w3.org/Icons/valid-css2-blue"
+ style="border: 0; width:88px; height:31px;"
+ /></a>
<a href="http://www.anybrowser.org/campaign/">
<img alt="[Use any browser here]"
title="Use any browser here"
style="border: 0px solid ; width: 147px; height: 42px;"
/></a>
<img style="width: 88px; height: 31px;"
- alt="[png used here]"
- title="png used here"
+ alt="[PNG used here]"
+ title="PNG used here"
src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
/>
- </div>
+ <br/></div>
</body></html>
</xsl:template>
-<xsl:template match="ENTRY">
- <xsl:apply-templates/><h2/>
+<xsl:template match="ENTITY">
+ <xsl:apply-templates/><br/>
<div>
Validation parameters:
sort hierarchy = "<xsl:value-of select="@hierarchy"/>",