W3C home > Mailing lists > Public > html-tidy@w3.org > January to March 2002

Re: <HR> in <PRE>

From: Richard A. O'Keefe <ok@cs.otago.ac.nz>
Date: Mon, 4 Mar 2002 15:49:26 +1300 (NZDT)
Message-Id: <200203040249.PAA120485@atlas.otago.ac.nz>
To: JHennick@mindspring.com, html-tidy@w3.org
Jeff Hennick <JHennick@mindspring.com> proposed (in effect)
changing <pre> to <div style="font-family: monospace">.
He says

    It now works, is legal HTML, and TIDY says so.
	
All of that is true, but the display is then wrong.
It is necessary to specify 'white-space: pre', otherwise
line breaks will not be respected.

	If your generator program won't do it, a simple filter program
	should be able to "fix" your files in bulk.
	
I note that a simple filter program converting
	<HR ...>
to	</PRE><HR ...><PRE>
has been suggested, tested, and worked.
	
Received on Sunday, 3 March 2002 21:55:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 April 2012 06:13:51 GMT