dbfo_linenumbering.width — Specifies width for line numbers in verbatims
<?dbfo linenumbering.width="width"?>
Use the <?dbfo linenumbering.width?> PI as a child
of a “verbatim” element – programlisting,
screen, synopsis — to specify
the width set aside for line numbers.