diff options
Diffstat (limited to 'latex')
-rw-r--r-- | latex/markup.xsl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/latex/markup.xsl b/latex/markup.xsl index 8355407..1b0dd87 100644 --- a/latex/markup.xsl +++ b/latex/markup.xsl @@ -329,6 +329,12 @@ <xsl:apply-templates /> </xsl:template> + <xsl:template match="html:pre"> + <xsl:text>\texttt{</xsl:text> + <xsl:apply-templates mode="verbatim" /> + <xsl:text>}</xsl:text> + </xsl:template> + <xsl:template match="small-font-size"> <xsl:text>{\small </xsl:text> <xsl:apply-templates /> |