W3C home > Mailing lists > Public > whatwg@whatwg.org > March 2007

[whatwg] [html5] %Pixels; unnecessary

From: David Håsäther <hasather@gmail.com>
Date: Thu, 01 Mar 2007 11:21:12 +0100
Message-ID: <op.toh9pmsqp8frts@puppy2>
On Thu, 01 Mar 2007 03:11:06 +0100, Ian Hickson <ian at hixie.ch> wrote:

> On Fri, 15 Apr 2005, David H?s?ther wrote:
>>
>> The Pixels parameter entity replacement text should be NUMBER instead
>> of CDATA since the comment says "integer representing length in
>> pixels".
>> Also, the entity is only used once in the DTD (for the BORDER
>> attribute of the TABLE element type) so it could as well be:
>>     border      NUMBER       #IMPLIED  -- controls frame width around  
>> table --
>
> Given that HTML5 has no DTD, this is presumably not an issue.

Yes, I didn't know that at the time, and there was a DTD lying around  
somewhere IIRC.

-- 
David H?s?ther
Received on Thursday, 1 March 2007 02:21:12 UTC

This archive was generated by hypermail 2.4.0 : Wednesday, 22 January 2020 16:58:53 UTC