W3C home > Mailing lists > Public > html-tidy@w3.org > April to June 2000

Re: Tidy Error Report - Spaces around </code>

From: <html-tidy@war-of-the-worlds.org>
Date: Fri, 7 Apr 2000 11:30:52 -0500
Message-Id: <p04310100b513b9ab74de@[]>
To: html-tidy@w3.org
Jeff Hennick <jhennick@delphi.com> wrote:

>Dave Raggett,

Well, I'm not Dave, but I'll put my 2c in.

>Tidy changes the spacing around the </code>-tag.  This is important to me
>as the space width in normal, proportional spaced font is different,
>smaller, than that used in the monospaced font used for <code>.

Hmm, I believe it isn't supposed to be.  I believe HTML has specific rules
about where whitespace is significant relative to tags' opening and closing
which browsers seem to gotten wrong and/or completely reversed.

>Here is the original test file:

>>The<code> if </code> statement.

I'd write this as:

The <code>if</code> statement.

After all, I don't consider the spaces to be part of the if statement, thus
not part of the code sample.

Further, I'd like it if Tidy could let slip both leading and trailing
whitespace out of tags in samples like this.  Increased spacing around it
can be achieved using style to increase slightly the margin on code tags.
         ,=<#)-=#  <http://www.war-of-the-worlds.org/>
 _-~_-(####)-_~-_  "Did you see that Parkins boy's body in the tunnels?" "Just
(#>_--'~--~`--_<#)  the photos.  Worst thing I've ever seen; kid had no face."
Received on Friday, 7 April 2000 12:31:01 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:38:47 UTC