Description of the type of "length" not precise enough

Hello,

In the HTML 4.01 specification (file types.html), the text about the "length" type doesn't say if it should be an integer or if it can be a float.
It says only:

Length: The value ( %Length; in the DTD) may be either a %Pixel; or a 
percentage

whereas the line immediately above says:

Pixels: The value ( %Pixels; in the DTD) is an integer


Thus I don't know if it's valid to use floating points.
Maybe something to add to the next versions.

bye
-- 
Philippe 'Elwood' FERRUCCI
AmigaOS 4.0 betatester
Jay Miner Society member
Amiga Translator Organisation
http://elwoodb.free.fr

Received on Wednesday, 9 November 2005 03:19:27 UTC