> <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.
also, i'm still not sure how makeinfo decides when paragraphs need
marking in html. can someone give me some pointers?
> > html4.1 spec says pre is an inline element.
> ^^^
> 4.01?
it's version 4.01, sorry.
it's the revision of the html4.0 spec: http://www.w3.org/TR/html40 HTML 4.01
Specification
> Are you sure? pre means preformatted text. It doesn't make
> sense if pre is an inline element.
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?)
> use CSS.
> (I know there's no user agent which can handle CSS
> correctly. Sigh.)
*insert ritualistic rant about the good old days of
archie/ftp/gopher/telnet*
