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       <div style="text-align: center;"><h2/>
  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]" title="lambda-delta home"
  31               src="http://helm.cs.unibo.it/lambda-delta/download/crux-32.png"
  32          /></a>
  33          <h1><xsl:call-template name="ld"/> Digital Library (LDDL)</h1>
  34          <img style="width: 95%; height: 4px;"
  35               alt="[Separator]" title="Separator"
  36               src="http://helm.cs.unibo.it/lambda-delta/download/rainbow.png"
  37          />
  38          <table border="0" cellpadding="0" cellspacing="0"
  39                 style="text-align: left; width: 95%;
  40                        margin-left: auto; margin-right: auto;"
  41          ><tbody><tr><td style="vertical-align: top;">
  42             <xsl:apply-templates/>
  43          </td></tr></tbody></table><h2/>
  44          <a href="http://validator.w3.org/check?uri=referer">
  45          <img alt="[Valid HTML 4.01 Transitional]"
  46               title="Valid HTML 4.01 Transitional"
  47               src="http://www.w3.org/Icons/valid-html401"
  48               style="border: 0px solid ; width: 88px; height: 31px;"
  49          /></a>
  50          <a href="http://www.anybrowser.org/campaign/">
  51          <img alt="[Use any browser here]"
  52               title="Use any browser here"
  53               src="http://www.cs.unibo.it/%7Efguidi/download/globe-trans.png"
  54               style="border: 0px solid ; width: 147px; height: 42px;"
  55          /></a>
  56          <img style="width: 88px; height: 31px;"
  57               alt="[PNG used here]"
  58               title="PNG used here"
  59               src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
  60          />
  61       <h2/></div>
  62    </body></html>
  63 </xsl:template>
  64
  65 <xsl:template match="ENTITY">
  66    <xsl:apply-templates/><h2/>
  67    <div>
  68       Validation parameters:
  69       sort hierarchy = "<xsl:value-of select="@hierarchy"/>",
  70       kernel options = "<xsl:value-of select="@options"/>"
  71    </div>
  72 </xsl:template>
  73
  74 </xsl:stylesheet>