pixels and points

Hello public-diselect-editors,

In section 9.15.1 Length Units
http://www.w3.org/TR/2005/WD-cselection-20050502/#sec-length-units

I read

  px

    the length is specified in pixels

Please specify whether these are device pixels, px as defined in XSL, px
as defined in CSS, or some other type of pixel.

I also see

  pt

    the length is specified in font points

Please specify whether there are 72.000 to the inch or some other real
number (Didot points, Johnson/American points, etc)

http://en.wikipedia.org/wiki/Point_%28typography%29

I suggest defining this as 72, ie computer DTP points.
    
-- 
 Chris Lilley                    mailto:chris@w3.org
 Interaction Domain Leader
 Co-Chair, W3C SVG Working Group
 W3C Graphics Activity Lead
 Co-Chair, W3C Hypertext CG