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.