This template creates an HTML pre element for the given DocBook element. It passes the $class parameter to html.class.attr. If the $class parameter is not provided, it uses the local name of $node.

If $node has the linenumbering attribute set to "numbered", then this template will create line numbers for each line, using the utils.linenumbering template.

By default, this template applies templates to all child nodes. Pass child nodes in the $children parameter to override this behavior.

If html.syntax.highlight is true, this template automatically outputs syntax highlighting support based on the language attribute of $node, using html.syntax.class to determine the correct highlighter.

This template handles conditional processing.