[whatwg] [html5] %Pixels; unnecessary

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