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