3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<?xml version="1.0"?>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:stylesheet version="1.0"

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive xmlns:xsl="http://www.w3.org/1999/XSL/Transform"

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive xmlns="http://www.w3.org/1999/xhtml">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:variable name="lowercase" select="'abcdefghijklmnopqrstuvwxyz'" />

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:variable name="uppercase" select="'ABCDEFGHIJKLMNOPQRSTUVWXYZ'" />

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="section">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="section/title">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\subsection*{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}</xsl:text><xsl:call-template name="label"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="section/section/title">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\subsubsection*{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}</xsl:text><xsl:call-template name="label"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="section/section/section/title">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\subsubsection*{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}</xsl:text><xsl:call-template name="label"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="note/title"></xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="example/title"></xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template name="label">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:if test="../@id">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:variable name="metafile" select="document(/*/@metafile)/metafile" />

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\label{</xsl:text><xsl:value-of

3fa58e00171aebf3b2cfa90035ed530f5b1f651dsliveselect="$metafile/path"/><xsl:value-of

3fa58e00171aebf3b2cfa90035ed530f5b1f651dsliveselect="$metafile/basename"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>:</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:value-of select="../@id"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:if>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="example">

46d1ef8cb385aa2f519ce7d355afc51f144bd938slive<xsl:text>\par\smallskip\begin{center}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:if test="not(pre)"><xsl:text>\fbox{</xsl:text></xsl:if>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\begin{minipage}{.8\textwidth}\begin{flushleft}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates select="title" mode="print" />

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>{\ttfamily\small </xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\noindent </xsl:text><xsl:apply-templates/>

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\end{flushleft}\end{minipage}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:if test="not(pre)"><xsl:text>}</xsl:text></xsl:if>

46d1ef8cb385aa2f519ce7d355afc51f144bd938slive<xsl:text>\end{center}\par\smallskip</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="example/title" mode="print">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\textbf{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive <xsl:apply-templates/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}\\ </xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="indent">

5e9423b4ca454c6416a2dc465dea1b1d34cec7a9slive<xsl:text>\begin{list}{}{\topsep 0pt\rightmargin 0pt\leftmargin 2em}

5e9423b4ca454c6416a2dc465dea1b1d34cec7a9slive\item[] </xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates/>

58842e03db54033d15cc224d997f467abc88a97aslive<xsl:text>\end{list}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="note">

46d1ef8cb385aa2f519ce7d355afc51f144bd938slive<xsl:text>\par\smallskip

1c6a10274e908898347be82bc82bc7ae18c66410slive{\Huge </xsl:text>

1c6a10274e908898347be82bc82bc7ae18c66410slive<xsl:choose>

1c6a10274e908898347be82bc82bc7ae18c66410slive<xsl:when test="@type='warning'">

1c6a10274e908898347be82bc82bc7ae18c66410slive <xsl:text>\fbox{!} </xsl:text>

1c6a10274e908898347be82bc82bc7ae18c66410slive</xsl:when>

1c6a10274e908898347be82bc82bc7ae18c66410slive<xsl:otherwise>

1c6a10274e908898347be82bc82bc7ae18c66410slive <xsl:text>$\Longrightarrow$</xsl:text>

1c6a10274e908898347be82bc82bc7ae18c66410slive</xsl:otherwise>

1c6a10274e908898347be82bc82bc7ae18c66410slive</xsl:choose>

1c6a10274e908898347be82bc82bc7ae18c66410slive<xsl:text>}\begin{minipage}[t]{.8\textwidth}

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\noindent </xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates select="title" mode="print" />

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:apply-templates/>

46d1ef8cb385aa2f519ce7d355afc51f144bd938slive<xsl:text>\end{minipage}\par\smallskip</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="note/title" mode="print">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\textbf{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive <xsl:apply-templates/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>} \\

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\noindent </xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="directive" name="directive">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>\textsc{</xsl:text>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:if test="@type='section'"><xsl:text>\textless{}</xsl:text></xsl:if>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:text>\hyperlink{/mod/</xsl:text>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:value-of select="@module"/>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:text>:</xsl:text>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:value-of select="translate(.,$uppercase,$lowercase)"/>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:text>}{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive <xsl:apply-templates/>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:text>}</xsl:text>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:if test="@type='section'"><xsl:text>\textgreater{}</xsl:text></xsl:if>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="module" name="module">

01979b991e320f79fe2c1ae2afc298e8651bd69aslive<xsl:text>\textsc{\hyperlink{/mod/</xsl:text>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:value-of select="."/>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:text>}{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive <xsl:apply-templates/>

01979b991e320f79fe2c1ae2afc298e8651bd69aslive <xsl:text>}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>}</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:template match="related">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\fbox{\begin{tabular}{rr}

368bcafaedaee463f769c1b5f3547b9970df90d0slive\begin{minipage}[t]{.49\linewidth}

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\textbf{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:value-of select="$messages/message[@name='relatedmodules']" />

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>} \\

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:for-each select="modulelist/module">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:call-template name="module"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text> \\

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:for-each>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\end{minipage} &amp;

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\begin{minipage}[t]{.4\linewidth}

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\textbf{</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:value-of select="$messages/message[@name='relateddirectives']" />

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>} \\

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:for-each select="directivelist/directive">

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:call-template name="directive"/>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text> \\

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:for-each>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive<xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\end{minipage}

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive\end{tabular}}

46d1ef8cb385aa2f519ce7d355afc51f144bd938slive\smallskip

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:text>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive</xsl:template>

3fa58e00171aebf3b2cfa90035ed530f5b1f651dslive

1cb160a981947e75a8353da3fe40a653aa87100eslive

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:template name="seealso">

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:if test="seealso">

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:text>\textbf{</xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:value-of select="$messages/message [@name='seealso']" />

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:text>}\begin{itemize}</xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:for-each select="seealso">

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:text>\item </xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:apply-templates />

1cb160a981947e75a8353da3fe40a653aa87100eslive <xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive</xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive </xsl:for-each>

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>\end{itemize}</xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive </xsl:if>

1cb160a981947e75a8353da3fe40a653aa87100eslive</xsl:template>

1cb160a981947e75a8353da3fe40a653aa87100eslive

1cb160a981947e75a8353da3fe40a653aa87100eslive

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:template name="section-title">

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:variable name="metafile" select="document(/*/@metafile)/metafile" />

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>\section{</xsl:text><xsl:apply-templates select="title"/>

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>}</xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>\label{</xsl:text><xsl:value-of

1cb160a981947e75a8353da3fe40a653aa87100esliveselect="$metafile/path"/><xsl:value-of

1cb160a981947e75a8353da3fe40a653aa87100esliveselect="$metafile/basename"/>

1cb160a981947e75a8353da3fe40a653aa87100eslive<xsl:text>}

1cb160a981947e75a8353da3fe40a653aa87100eslive</xsl:text>

1cb160a981947e75a8353da3fe40a653aa87100eslive</xsl:template>

1cb160a981947e75a8353da3fe40a653aa87100eslive

1cb160a981947e75a8353da3fe40a653aa87100eslive</xsl:stylesheet>

1cb160a981947e75a8353da3fe40a653aa87100eslive