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