I don't think you can expect every parser to indent verbatim sections. In
fact if you do indent the verbatim text, it isn't verbatim any more. Please
correct me if I am mistaken.
Hmmmm ... another thing that needs clarifying in the spec maybe. i.e. what
is the effect of margin-changing commands on verbatim sections? I would hope
that the text is indented, otherwise it would make some text look very weird.
For example,
<indent>...1...<indent>...2...<indent>blah, blah,blah
<verbatim>abcdefg</verbatim>
</indent></indent></indent>
This could be one of:
...1...
...2...
blah, blah, blah
abcdefg
or:
...1...
...2...
blah, blah, blah
abcdefg
The second seems to destroy the margin levels the user has gone to the
trouble to set up. The latter would arise from a very naive tty
implementation that treated verbatim as "forget everything about formatting
and just copy what comes next to stdout". For more complex output
devices, such as GUI environments, "copy to stdout" doesn't work, and
some decision needs to be made as to what happens to margins.
I suppose I see <verbatim> as a way to turn off command interpretation rather
than a way to take control of the output device directly.
PS. I hope you don't get this more than once. Our mailer bounced Rhys'
address.
It doesn't know about .au I guess.
Strange. Try sending me some private mail not on the list to see what happens.
Oh, and I did get two copies.
Cheers,
Rhys.