Re: bad html formatting

[Karl Berry]

      @quotation
      @example
      foo
      @end example
      @end quotation

Why is @example inside @quotation in the first place?
(Although I don't think this causes the problem, it seems wrong, like a
kludge to get examples indented maybe?)

    What's the reason for the `<br>'?

It seems that @example and the like always insert <br><pre> (line 503 of
insertion.c).  I don't know why, seems like just <pre> would be better.
I'll see if I can dig up a reason for the <br>, if not, I'll try getting
rid of it.

Thanks,
k