matita/help/C/matita-xhtml.xsl

   1 <?xml version="1.0" encoding="utf-8"?>
   2
   3 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
   4
   5   <xsl:import href="http://docbook.sourceforge.net/release/xsl/current/xhtml/chunk.xsl"/>
   6   <xsl:output method="xml" encoding="utf-8" indent="yes"/>
   7
   8   <xsl:param name="use.id.as.filename" select="1" />
   9   <xsl:param name="html.stylesheet">docbook.css</xsl:param>
  10   <xsl:param name="table.borders.with.css" select="1" />
  11   <!--
  12   <xsl:param name="header.rule" select="0" />
  13   <xsl:param name="footer.rule" select="0" />
  14   -->
  15
  16   <!-- more quiet output of author information -->
  17
  18   <xsl:template match="authorgroup" mode="titlepage.mode">
  19     <ul class="authorgroup">
  20       <xsl:apply-templates mode="matita.manual.mode" />
  21     </ul>
  22   </xsl:template>
  23   <xsl:template match="author" mode="matita.manual.mode">
  24     <li class="author">
  25       <xsl:value-of select="firstname" />
  26       <xsl:text> </xsl:text>
  27       <xsl:value-of select="surname" />
  28       <xsl:text> &lt;</xsl:text>
  29       <xsl:element name="a">
  30         <xsl:attribute name="href">
  31           <xsl:text>mailto:</xsl:text>
  32           <xsl:value-of select="affiliation/address/email" />
  33         </xsl:attribute>
  34         <xsl:value-of select="affiliation/address/email" />
  35       </xsl:element>
  36       <xsl:text>&gt;</xsl:text>
  37     </li>
  38   </xsl:template>
  39
  40   <!-- only print the latest revision instead of all of them -->
  41   <!-- XXX ZACK: right now it just assumes that only one revision does exist -->
  42
  43   <xsl:template match="revhistory" mode="titlepage.mode">
  44     <div class="revhistory">
  45       <xsl:apply-templates mode="matita.manual.mode" />
  46     </div>
  47   </xsl:template>
  48   <xsl:template match="revision" mode="matita.manual.mode">
  49     <span class="revision">
  50       <xsl:text>Revision: </xsl:text>
  51       <span class="revnumber">
  52         <xsl:value-of select="revnumber" />
  53       </span>
  54       <xsl:text>, </xsl:text>
  55       <span class="date">
  56         <xsl:value-of select="date" />
  57       </span>
  58     </span>
  59   </xsl:template>
  60
  61   <!-- Matita logo on the top left corner -->
  62
  63   <xsl:template name="user.header.navigation">
  64     <a href="../../">
  65       <div class="matita_logo">
  66         <img src="../../images/matita-tiny.png" alt="Tiny Matita logo" />
  67         <span>Matita Home</span>
  68       </div>
  69     </a>
  70   </xsl:template>
  71
  72 </xsl:stylesheet>
  73