dbhtml_linenumbering.separator — Specifies separator text for line numbers in verbatims
<?dbhtml linenumbering.separator="text"?>Use the <?dbhtml linenumbering.separator?> PI as a child
of a “verbatim” element – programlisting,
screen, synopsis — to specify
the separator text output between the line numbers and content.