]> matita.cs.unibo.it Git - helm.git/blob - matita/help/C/xsl/matita-xhtml.xsl
Syntax of a declarative rewritinstep changed.
[helm.git] / matita / help / C / xsl / 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