[whatwg] [html5] %Pixels; unnecessary

[David Håsäther]

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