Hello Robert,
RPJD> 2) how to increase the line spacing just a touch in verbatim
RPJD> environments, mostly for <screen>s and legibility.
RPJD> i noticed two attribute-sets, verbatim.properties and
RPJD> monospace.verbatim.properties, but they refer to spacing
RPJD> before and after, not internal.
I think verbatim.properties attributes set is very suitable for your
needs. You can add something like this:
<xsl:attribute-set name="verbatim.properties">
<xsl:attribute name="line-height">120%</xsl:attribute>
</xsl:attribute-set>
in your customization stylesheet to increase line spacing.
If you want to customize line spacing for <screen>s only then you have
to overwrite template <xsl:template match="programlisting|screen|synopsis">
located in verbatim.xsl.
RPJD> i'm sure the above is easy, i'm just still getting used to digging
RPJD> around in the stylesheets.
RPJD> rday
Best regards,
Alexander Peshkov mailto:
RenderX