$verbatim-numbered-elements
$verbatim-numbered-elements — Verbatim environments that should be numbered.
Parameter:
{}verbatim-numbered-elements
Defined in:
param.xsl
Used in:
main.xsl, param.xsl
Synopsis
$verbatim-numbered-elements := 'programlisting programlistingco'
Description
This parameter is a space-separated list of element names (local names). Verbatim elements that appear in this list will be formatted with line numbers. For a discussion of verbatim elements and styles, see Section 2.11.1, “Verbatim style”.