helm/www/lambdadelta/xslt/lddl_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:ld="http://lambdadelta.info/"
  16                               xmlns="http://www.w3.org/1999/xhtml"
  17 >
  18
  19 <xsl:strip-space elements="ENTITY"/>
  20
  21 <xsl:template match="/">
  22    <html xmlns="http://www.w3.org/1999/xhtml"><head>
  23       <meta http-equiv="Content-Language" content="en-us"/>
  24       <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
  25       <meta http-equiv="Content-Style-Type" content="text/css"/>
  26       <meta name="author" content="Ferruccio Guidi"/>
  27       <meta name="description" content="lambdadelta digital library"/>
  28       <title>lambdadelta digital library (LDDL)</title>
  29       <link rel="stylesheet" type="text/css"
  30             href="http://lambdadelta.info/css/ld.css"
  31       />
  32       <link rel="stylesheet" type="text/css"
  33             href="http://lambdadelta.info/css/lddl.css"
  34       />
  35       <link rel="shortcut icon"
  36             href="http://lambdadelta.info/download/crux_16.ico"
  37       />
  38    </head><body>
  39       <div class="spacer">
  40          <a href="http://lambdadelta.info/">
  41          <img class="icon32"
  42               alt="[lambdadelta home]" title="lambdadelta home"
  43               src="http://lambdadelta.info/download/crux_32.png"
  44          /></a>
  45       </div>
  46       <div class="head1">
  47          <xsl:call-template name="lddl"/>
  48       </div>
  49       <div class="spacer">
  50          <img class="rule"
  51               alt="[Spacer]" title="lambdadelta rainbow rule"
  52               src="http://lambdadelta.info/download/rainbow.png"
  53          />
  54       </div>
  55       <xsl:apply-templates/>
  56       <div class="spacer">
  57          <a href="http://validator.w3.org/check?uri=referer">
  58          <img class="w3c"
  59               alt="[Valid XHTML 1.1]"
  60               title="Valid XHTML 1.1"
  61               src="http://www.w3.org/Icons/valid-xhtml11-blue"
  62          /></a>
  63          <a href="http://jigsaw.w3.org/css-validator/check/referer">
  64          <img class="w3c"
  65               alt="[Valid CSS level 2]"
  66               title="Valid CSS level 2"
  67               src="http://www.w3.org/Icons/valid-css2-blue"
  68          /></a>
  69          <a href="http://www.w3.org/XML/">
  70          <img class="w3c"
  71               alt="[Generated from XML via XSL]"
  72               title="Generated from XML via XSL"
  73               src="http://lambdadelta.info/download/xml_xsl2.png"
  74          /></a>
  75          <a href="http://lambdadelta.info/implementation.html#helena">
  76          <img class="w3c"
  77               alt="[Powered by Helena lambdadelta processor]"
  78               title="Powered by Helena lambdadelta processor"
  79               src="http://lambdadelta.info/download/helena_label.png"
  80          /></a>
  81          <a href="http://www.w3.org/Graphics/PNG/">
  82          <img class="w3c"
  83               alt="[PNG used here]"
  84               title="PNG used here"
  85               src="http://lambdadelta.info/download/PNGnow2.png"
  86          /></a>
  87          <a href="http://www.anybrowser.org/campaign/">
  88          <img class="w3c"
  89               alt="[Viewable with any browser]"
  90               title="Viewable with any browser"
  91               src="http://www.anybrowser.org/campaign/bvgraphics/abtfile.png"
  92          /></a>
  93       </div>
  94    </body></html>
  95 </xsl:template>
  96
  97 <xsl:template match="ld:ENTITY">
  98    <xsl:apply-templates/>
  99    <div class="text">
 100       <xsl:call-template name="vpars"/>
 101       <xsl:call-template name="shier"/>
 102       <xsl:call-template name="qt"/>
 103       <xsl:value-of select="@hierarchy"/>
 104       <xsl:call-template name="qt"/>
 105       <xsl:call-template name="cm"/>
 106       <xsl:call-template name="sp"/>
 107       <xsl:call-template name="kopts"/>
 108       <xsl:call-template name="qt"/>
 109       <xsl:value-of select="@options"/>
 110       <xsl:call-template name="qt"/>
 111    </div>
 112 </xsl:template>
 113
 114 </xsl:stylesheet>