OK, thanks for the info. I think I'll go with @display and use leading
spaces for indentation. Since all spaces have the same width in this
context I'll end up with correctly aligned rows, right?I haven't actually tried it, but yes, that was my theory ... _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
