helm/software/helena/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                               xmlns="http://www.w3.org/1999/xhtml"
  16 >
  17
  18 <xsl:strip-space elements="ENTITY"/>
  19
  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://lambda-delta.info/static/lddl/ld-html.css"
  30       />
  31       <link rel="shortcut icon"
  32             href="http://lambda-delta.info/download/crux-16.ico"
  33       />
  34    </head><body>
  35       <div class="spacer">
  36          <a href="http://lambda-delta.info/">
  37          <img class="icon32"
  38               alt="[lambda-delta home]" title="lambda-delta home"
  39               src="http://lambda-delta.info/download/crux-32.png"
  40          /></a>
  41       </div>
  42       <div class="head1">
  43          <xsl:call-template name="lddl"/>
  44       </div>
  45       <div class="spacer">
  46          <img class="rule"
  47               alt="[Spacer]" title="lambda-delta rainbow rule"
  48               src="http://lambda-delta.info/download/rainbow.png"
  49          />
  50       </div>
  51       <xsl:apply-templates/>
  52       <div class="spacer">
  53          <a href="http://validator.w3.org/check?uri=referer">
  54          <img class="w3c"
  55               alt="[Valid XHTML 1.1]"
  56               title="Valid XHTML 1.1"
  57               src="http://www.w3.org/Icons/valid-xhtml11-blue"
  58          /></a>
  59          <a href="http://jigsaw.w3.org/css-validator/check/referer">
  60          <img class="w3c"
  61               alt="[Valid CSS level 2]"
  62               title="Valid CSS level 2"
  63               src="http://www.w3.org/Icons/valid-css2-blue"
  64          /></a>
  65          <a href="http://www.w3.org/XML/">
  66          <img class="w3c"
  67               alt="[Generated from XML via XSL]"
  68               title="Generated from XML via XSL"
  69               src="http://lambda-delta.info/download/xml_xsl2.png"
  70          /></a>
  71          <a href="http://lambda-delta.info/implementation.html#helena">
  72          <img class="w3c"
  73               alt="[Powered by Helena lambda-delta processor]"
  74               title="Powered by Helena lambda-delta processor"
  75               src="http://lambda-delta.info/download/helena-label.png"
  76          /></a>
  77          <a href="http://www.w3.org/Graphics/PNG/">
  78          <img class="w3c"
  79               alt="[PNG used here]"
  80               title="PNG used here"
  81               src="http://www.cs.unibo.it/%7Efguidi/download/PNGnow2.png"
  82          /></a>
  83          <a href="http://www.anybrowser.org/campaign/">
  84          <img class="w3c"
  85               alt="[Viewable with any browser]"
  86               title="Viewable with any browser"
  87               src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
  88          /></a>
  89       </div>
  90    </body></html>
  91 </xsl:template>
  92
  93 <xsl:template match="ENTITY">
  94    <xsl:apply-templates/>
  95    <div class="text">
  96       <xsl:call-template name="vpars"/>
  97       <xsl:call-template name="shier"/>
  98       <xsl:call-template name="qt"/>
  99       <xsl:value-of select="@hierarchy"/>
 100       <xsl:call-template name="qt"/>
 101       <xsl:call-template name="cm"/>
 102       <xsl:call-template name="sp"/>
 103       <xsl:call-template name="kopts"/>
 104       <xsl:call-template name="qt"/>
 105       <xsl:value-of select="@options"/>
 106       <xsl:call-template name="qt"/>
 107    </div>
 108 </xsl:template>
 109
 110 </xsl:stylesheet>