matita/help/C/xsl/matita-tex.xsl

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="1.0">
   3
   4   <xsl:import href="http://db2latex.sourceforge.net/xsl/docbook.xsl"/>
   5   <xsl:output method="text" encoding="utf-8" indent="yes"/>
   6
   7   <xsl:param name="admon.graphics.path">/usr/share/xml/docbook/stylesheet/db2latex/latex/figures</xsl:param>
   8
   9   <xsl:param name="latex.inputenc">utf8x</xsl:param>
  10   <xsl:param name="latex.book.preamble.post">\usepackage{txfonts}
  11 \SetUnicodeOption{mathletters} % prefer math-mode letters
  12 </xsl:param>
  13   <xsl:param name="ulink.show">0</xsl:param>
  14
  15   <!-- proper alignment of tables used for grammars -->
  16
  17   <xsl:template match="tgroup[../@role='grammar']">
  18     <xsl:text>\begin{tabular}{rcll}
  19 </xsl:text>
  20     <xsl:apply-templates />
  21     <xsl:text>\end{tabular}
  22 </xsl:text>
  23   </xsl:template>
  24
  25   <xsl:template match="variablelist/title">
  26     <xsl:text>\paragraph*{</xsl:text>
  27     <xsl:apply-templates />
  28     <xsl:text>} </xsl:text>
  29   </xsl:template>
  30
  31 </xsl:stylesheet>