Re: Problem with vertical space and @Verbatim

[Jeff Kingston]

> If I try to display 2 lines of verbatim text instead of the
> current 1, the final `This is text' is too close to the verbatim
> text.

This is because @LP uses baseline-to-baseline spacing, which is
not suitable when one of the things is a display.  The usual way
to get an indented display is to enclose the material in

    @ID {
    }

I would still do this for automatically generated Lout.  But if
you want something more primitive, the appropriate spacing for
enclosing displays is @DP:

   blah blah blach
   @DP
   displayed blah blah blah
   @DP
   blah blah blah

@DP uses edge-to-edge rather than baseline-to-baseline spacing,
which is more robust.  You will still need to organize your
indenting but it won't spoil the vertical spacing now.

Jeff