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
  16 <xsl:strip-space elements="ENTRY"/>
  17 <xsl:template match="/">
  18    <html><head>
  19       <meta content="Ferruccio Guidi" name="author"/>
  20       <meta content="lambda-delta digital library" name="description"/>
  21       <title>lambda-delta digital library (LDDL)</title>
  22       <link rel="shortcut icon"
  23             href="http://helm.cs.unibo.it/lambda-delta/download/crux-16.ico"
  24       />
  25    </head><body>
  26       <h1 style="text-align: center;">
  27          <a href="http://helm.cs.unibo.it/lambda-delta/">
  28          <img style="border: 0px solid; width: 32px; height: 32px;"
  29               alt="[lambda-delta home]"
  30               title="lambda-delta home"
  31               src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
  32          /></a>
  33       </h1>
  34       <xsl:apply-templates/><h2/>
  35       <div style="text-align: center;">
  36          <a href="http://validator.w3.org/check?uri=referer">
  37          <img alt="[Valid HTML 4.01 Transitional]"
  38               title="Valid HTML 4.01 Transitional"
  39               src="http://www.w3.org/Icons/valid-html401"
  40               style="border: 0px solid ; width: 88px; height: 31px;"
  41          /></a>
  42          <a href="http://www.anybrowser.org/campaign/">
  43          <img alt="[Use any browser here]"
  44               title="Use any browser here"
  45               src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
  46               style="border: 0px solid ; width: 147px; height: 42px;"
  47          /></a>
  48          <img style="width: 88px; height: 31px;"
  49               alt="[png used here]"
  50               title="png used here"
  51               src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
  52          />
  53       </div>
  54    </body></html>
  55 </xsl:template>
  56
  57 <xsl:template match="ENTRY">
  58    <xsl:apply-templates/><h2/>
  59    <div>
  60       Validation parameters:
  61       sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
  62       kernel options = "<xsl:value-of select="@options"/>"
  63    </div>
  64 </xsl:template>
  65
  66 </xsl:stylesheet>