[whatwg] [html5] %Pixels; unnecessary

[Ian Hickson]

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.

-- 
Ian Hickson               U+1047E                )\._.,--....,'``.    fL
http://ln.hixie.ch/       U+263A                /,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'