"W. L. Estes" <[EMAIL PROTECTED]> writes:
> > <p> is `paragraph'. Contents of p is rendered as paragraph
> > but how to add newlines around them is up to user
> > agent. Putting <p> at the place you mentioned is deprecated
> > usage.
>
> but the br, so i was thinking, was necessary because of the
> possibility that otherwise the html could contain "<p><pre>" which
> might be rendered as "newline followed by some horizontal whitespace
> and then begin the <pre> element". since in info and tex,
> makeinfo&friends render @format blocks beginning on a new line, that
> behavior would be incorrect.
No, br isn't necessary. <p><pre> means, <p></p><pre>. Since
p cannot contain <pre>, there's always </p> assumed. If
there's any implementation that doesn't start pre at a new
line, I'll be surprised.
> also, i'm still not sure how makeinfo decides when paragraphs need
> actually, preformatted means simply that whitespace is significant.
>
> to quote from the spec:
>
> # The PRE element is used for preformatted text, where white space is
> # significant.
> # [snip]
> # <!ELEMENT PRE - - (%inline;)* -(%pre.exclusion;) -- preformatted text -->
>
> (i assume that means pre is inline, right?)
No, it only says PRE can contain inline element. It does not
say anything about PRE element itself. The part I quoted
says PRE is a block element.
--
Yoshiki Hayashi
